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
Erschienen in:
Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in Kapitel lesen Erstes Kapitel lesen

2017 | OriginalPaper | Buchkapitel

Merging Relations: A Way to Compact Petri Nets’ Behaviors Uniformly

verfasst von : Giovanni Casu, G. Michele Pinna

Erschienen in: Language and Automata Theory and Applications

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

Compacting Petri nets behaviors means to develop a more succinct representation of all the possible executions of a net, still giving the capability to reason on properties fulfilled by the computations of the net. To do so suitable equivalences on alternative executions have to be engineered. We introduce a general notion of merging relation covering the existing approaches to compact behaviors and we discuss how to enforce that the more succinct net is an unravel net, namely a net where dependencies can be identified (almost) syntactically.

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

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
Vorheriges Kapitel Cut Languages in Rational Bases
Nächstes Kapitel Partitioning Graphs into Induced Subgraphs
Literatur
1.
2.
Desel, J., Reisig, W.: The concepts of Petri nets. Softw. Syst. Model. 14(2), 669–683 (2015)CrossRef
3.
4.
Esparza, J., Römer, S., Vogler, W.: An improvement of McMillan’s unfolding algorithm. Formal Methods Syst. Des. 20(3), 285–310 (2002)CrossRefMATH
5.
Fabre, E.: Trellis processes: a compact representation for runs of concurrent systems. Discrete Event Dyn. Syst. 17(3), 267–306 (2007)CrossRefMATH
6.
Khomenko, V., Kondratyev, A., Koutny, M., Vogler, W.: Merged processes: a new condensed representation of Petri net behaviour. Acta Informatica 43(5), 307–330 (2006)MathSciNetCrossRefMATH
7.
Langerak, R.: Bundle event structures: a non-interleaving semantics for LOTOS. In: FORTE 1992. IFIP Transactions, vol. C-10, pp. 331–346 (1993)
8.
Mazurkiewicz, A.: Basic notions of trace theory. In: Bakker, J.W., Roever, W.-P., Rozenberg, G. (eds.) REX 1988. LNCS, vol. 354, pp. 285–363. Springer, Heidelberg (1989). doi:10.​1007/​BFb0013025 CrossRef
9.
McMillan, K.L.: Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. In: Bochmann, G., Probst, D.K. (eds.) CAV 1992. LNCS, vol. 663, pp. 164–177. Springer, Heidelberg (1993). doi:10.​1007/​3-540-56496-9_​14 CrossRef
10.
Reisig, W.: Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies. Springer, Heidelberg (2013)CrossRefMATH
11.
Smith, E., Reisig, W.: The semantics of a net is a net: an exercise in general net theory. In: Voss, K., Genrich, H.J., Rozenberg, G. (eds.) Concurrency and Nets: Advances in Petri Nets, pp. 461–479. Springer, Heidelberg (1987)CrossRef
12.
Glabbeek, R.J.: The individual and collective token interpretations of Petri nets. In: Abadi, M., Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 323–337. Springer, Heidelberg (2005). doi:10.​1007/​11539452_​26 CrossRef
13.
van Glabbeek, R.J., Plotkin, G.D.: Configuration structures, event structures and Petri nets. Theor. Comput. Sci. 410(41), 4111–4159 (2009)MathSciNetCrossRefMATH
14.
Metadaten
Titel
Merging Relations: A Way to Compact Petri Nets’ Behaviors Uniformly
verfasst von
Giovanni Casu
G. Michele Pinna
Copyright-Jahr
2017
Buch
Language and Automata Theory and Applications

Print ISBN: 978-3-319-53732-0

Electronic ISBN: 978-3-319-53733-7

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-3-319-53733-7_24