Skip to main content

2014 | OriginalPaper | Buchkapitel

5. Composition of Augmented Marked Graphs

verfasst von : King Sing Cheung

Erschienen in: Augmented Marked Graphs

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

This chapter investigates the composition of augmented marked graphs with a special focus on the preservation of properties. It starts with defining the composition of two augmented marked graphs via common resource places. We show that the integrated PT-net so obtained is also an augmented marked graph. A detailed analysis on the preservation of liveness, reversibility, boundedness and conservativeness for this composition then follows.

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!

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!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat K.S. Cheung, K.O. Chow, Compositional synthesis of augmented marked graphs, in Proceedings of the IEEE International Conference on Control and Automation (IEEE Press, 2007), pp. 2810–2814 K.S. Cheung, K.O. Chow, Compositional synthesis of augmented marked graphs, in Proceedings of the IEEE International Conference on Control and Automation (IEEE Press, 2007), pp. 2810–2814
2.
Zurück zum Zitat K.S. Cheung, Composition of augmented marked graphs and its application to component-based system design. Inf. Technol. Control 36(3), 310–317 (2007) K.S. Cheung, Composition of augmented marked graphs and its application to component-based system design. Inf. Technol. Control 36(3), 310–317 (2007)
3.
Zurück zum Zitat K.S. Cheung, Compositional synthesis of distributed system components based on augmented marked graphs. J. Comput. Sci. Technol. 8(1), 34–40 (2008) K.S. Cheung, Compositional synthesis of distributed system components based on augmented marked graphs. J. Comput. Sci. Technol. 8(1), 34–40 (2008)
4.
Zurück zum Zitat H.J. Huang, L. Jiao, T.Y. Cheung, Property-preserving composition of augmented marked graphs that share common resources, in Proceedings of the International Conference on Robotics and Automation (IEEE Press, 2003) H.J. Huang, L. Jiao, T.Y. Cheung, Property-preserving composition of augmented marked graphs that share common resources, in Proceedings of the International Conference on Robotics and Automation (IEEE Press, 2003)
Metadaten
Titel
Composition of Augmented Marked Graphs
verfasst von
King Sing Cheung
Copyright-Jahr
2014
DOI
https://doi.org/10.1007/978-3-319-06428-4_5