Transactions on Petri Nets and Other Models of Concurrency VII

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own E...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Jensen, Kurt (Επιμελητής έκδοσης), Aalst, Wil M. P. van der (Επιμελητής έκδοσης), Balbo, Gianfranco (Επιμελητής έκδοσης), Koutny, Maciej (Επιμελητής έκδοσης), Wolf, Karsten (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Σειρά:Lecture Notes in Computer Science, 7480
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • In Memoriam: Carl Adam Petri
  • Strategies for Modeling Complex Processes Using Colored Petri Nets
  • Applications of Coloured Petri Nets for Functional Validation of Protocol Designs
  • Business Process Modeling Using Petri Nets
  • Structure Theory of Petri Nets
  • Causality in Extensions of Petri Nets
  • External Behaviour of Systems of State Machines with Variables
  • The Synthesis Problem
  • Models from Scenarios
  • Discovering Petri Nets from Event Logs.