Zum Inhalt
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Kapitel lesen Erstes Kapitel lesen

2017 | OriginalPaper | Buchkapitel

5. Analysis of Concurrent Control Systems

verfasst von : Remigiusz Wiśniewski

Erschienen in: Prototyping of Concurrent Control Systems Implemented in FPGA Devices

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This section introduces the analysis algorithms of concurrent control systems described by interpreted Petri nets. Such a process is applied to the net in order to c heck its dynamic and structural properties. First, we shall review the most popular analysis method of the dynamic behavior of the net, based on the integer linear algebra (p-invariants computation). Next, concurrency and sequentiality aspects of Petri nets will be discussed in details. We shall present novel analysis methods that apply graph and hypergraph theories.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Hypergraphs and Exact Transversals
Nächstes Kapitel Decomposition of Concurrent Control Systems
Literatur
Dieser Inhalt ist nur sichtbar, wenn du eingeloggt bist und die entsprechende Berechtigung hast.
Metadaten
Titel
Analysis of Concurrent Control Systems
verfasst von
Remigiusz Wiśniewski
Copyright-Jahr
2017
Buch
Prototyping of Concurrent Control Systems Implemented in FPGA Devices

Print ISBN: 978-3-319-45810-6

Electronic ISBN: 978-3-319-45811-3

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-3-319-45811-3_5