Skip to main content
Top

2017 | OriginalPaper | Chapter

2. Related Work

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This chapter introduces formal notations and definitions used in the book. We describe a concurrent control system by an interpreted Petri net. The presented notations are illustrated by real-life examples of concurrent control systems. Furthermore, the basic notations and definitions related to the computational complexity of algorithms are shown.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Business + Economics & Engineering + Technology"

Online-Abonnement

Springer Professional "Business + Economics & Engineering + Technology" gives you access to:

  • more than 102.000 books
  • more than 537 journals

from the following subject areas:

  • Automotive
  • Construction + Real Estate
  • Business IT + Informatics
  • Electrical Engineering + Electronics
  • Energy + Sustainability
  • Finance + Banking
  • Management + Leadership
  • Marketing + Sales
  • Mechanical Engineering + Materials
  • Insurance + Risk


Secure your knowledge advantage now!

Springer Professional "Engineering + Technology"

Online-Abonnement

Springer Professional "Engineering + Technology" gives you access to:

  • more than 67.000 books
  • more than 390 journals

from the following specialised fileds:

  • Automotive
  • Business IT + Informatics
  • Construction + Real Estate
  • Electrical Engineering + Electronics
  • Energy + Sustainability
  • Mechanical Engineering + Materials





 

Secure your knowledge advantage now!

Literature
This content is only visible if you are logged in and have the appropriate permissions.
Metadata
Title
Related Work
Author
Remigiusz Wiśniewski
Copyright Year
2017
DOI
https://doi.org/10.1007/978-3-319-45811-3_2