English
Transactions on Petri Nets and Other Models of Concurrency VII
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 In Memoriam: Carl Adam Petri
-
Altmetric BadgeChapter 2 Strategies for Modeling Complex Processes Using Colored Petri Nets
-
Altmetric BadgeChapter 3 Applications of Coloured Petri Nets for Functional Validation of Protocol Designs
-
Altmetric BadgeChapter 4 Business Process Modeling Using Petri Nets
-
Altmetric BadgeChapter 5 Structure Theory of Petri Nets
-
Altmetric BadgeChapter 6 Causality in Extensions of Petri Nets
-
Altmetric BadgeChapter 7 External Behaviour of Systems of State Machines with Variables
-
Altmetric BadgeChapter 8 The Synthesis Problem
-
Altmetric BadgeChapter 9 Models from Scenarios
-
Altmetric BadgeChapter 10 Discovering Petri Nets from Event Logs