Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Acta Informatica
Erschienen in: Acta Informatica 4/2018

29.04.2017 | Original Article

Factorisation of transition systems

verfasst von: Raymond Devillers

Erschienen in: Acta Informatica | Ausgabe 4/2018

Einloggen

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

search-config
loading …

Abstract

It is well-known that the reachability graph of a sum of disjoint Petri nets is the disjoint product of the reachability graphs of the components. We shall consider here the converse problem, i.e., determine when and how a transition system may be decomposed in non-trivial concurrent factors, and extend the theory to more general labelled transition systems. Meanwhile, we shall develop interesting algebraic properties of disjoint products. The present paper is an extended version of Devillers (in: Desel, Yakovlev (eds) Proceedings 16th international conference on application of concurrency to system design (ACSD 2016), 2016).
Vorheriger Artikel Algorithms for monitoring real-time properties

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 "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!

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
Fußnoten
1
Those properties could be expressed in terms of categories, but we shall refrain from doing this here.
 
2
Again, those properties could be expressed in terms of categories, but we shall refrain from doing this here.
 
Literatur
1.
Arnold, A.: Finite Transition Systems—Semantics of Communicating Systems. Prentice Hall international series in computer science, Prentice Hall, UK (1994)
2.
Badouel, E., Bernardinello, L., Darondeau, P.: Petri Net Synthesis. Springer, Berlin (2015)CrossRefMATH
3.
Bednarczyk, M. A.: Categories of asynchronous systems. PhD thesis, University of Sussex, UK (1987)
4.
Best, E., Devillers, R.: Synthesis of bounded choice-free Petri nets. In: Aceto, L., Frutos Escrig D. (eds.) Proceedings of 26th International Conference on Concurrency Theory (CONCUR 2015), pp. 128–141 (2015)
5.
Best, E., Devillers, R., Koutny, M.: Petri net algebra. Monographs in Theoretical Computer Science. Springer, Berlin (2001)
6.
Büchi, J.R.: On a decision method in restricted second order arithmetic. In: The 1960 Congress on Logic. Methdology and Philosophy of Science, pp. 1–11. Univeristy Press, Stanford (1962)
7.
Devillers, R.: Products of transition systems and additions of Petri nets. In: Desel, J., Yakovlev, A. (eds.) Proceedings 16th International Conference on Application of Concurrency to System Design (ACSD 2016), pp. 65–73 (2016)
8.
Hildebrandt, T.T., Sassone, V.: Comparing transition systems with independence and asynchronous transition systems. In: Proceedings of CONCUR ’96, Concurrency Theory, 7th International Conference, Pisa, Italy, pp. 84–97 (1996)
9.
Keller, R.M.: A fundamental theorem of asynchronous parallel computation. In: Sagamore Computer Conference, August 20–23, 1974, LNCS Vol. 24, pp. 102–112 (1975)
10.
Teruel, E., Colom, J.M., Silva, M.: Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals. IEEE Transactions on Systems, Man, and Cybernetics, Part A 27(1), 73–83 (1997)CrossRef
11.
Winskel, G., Nielsen, M.: Models for concurrency. In: Abramsky, S., Gabbay Dov, M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 4, pp. 1–148. Oxford University Press, Oxford (1995)
Metadaten
Titel
Factorisation of transition systems
verfasst von
Raymond Devillers
Publikationsdatum
29.04.2017
Verlag
Springer Berlin Heidelberg
Erschienen in
Acta Informatica / Ausgabe 4/2018
Print ISSN: 0001-5903
Elektronische ISSN: 1432-0525
DOI
https://doi.org/10.1007/s00236-017-0300-y