Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Kordon, Fabrice (Επιμελητής έκδοσης), Moldt, Daniel (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Σειρά: Lecture Notes in Computer Science, 9698
• Θέματα: Computer science.; Computer logic.; Computer Science.; Logics and Meanings of Programs.

This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Toruń, Poland, in June 2016. Petri Nets 2016 was co-located with the Application of Concurrency to System Design Conference, ACSD 2016. The 16...

Πίνακας περιεχομένων:

• Distinguished Carl Adam Petri Lecture
• Petri Net Synthesis
• Tools
• Applications
• Conformance Checking
• Time and Stochastic Models
• Structural Methods.