Temporary Petri-nets-based method for synthesizing network models
Article in Journal of Electronic Imaging (April 2022)
Unifying Petri Nets
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 “What Is a Petri Net?” Informal Answers for the Informed Reader
-
Altmetric BadgeChapter 2 The ≫Petri Net Baukasten≪: An Overview
-
Altmetric BadgeChapter 3 Improving the Usability of Petri Nets with the ≫Petri Net Baukasten≪
-
Altmetric BadgeChapter 4 Implementation of Parameterized Net Classes with the Petri Net Kernel of the ≫Petrinetz-Baukasten≪
-
Altmetric BadgeChapter 5 Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models
-
Altmetric BadgeChapter 6 Petri Nets over Partial Algebra
-
Altmetric BadgeChapter 7 Parameterized Net Classes: A Uniform Approach to Petri Net Classes
-
Altmetric BadgeChapter 8 Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs
-
Altmetric BadgeChapter 9 Rewriting Logic as a Unifying Framework for Petri Nets
-
Altmetric BadgeChapter 10 Generalized Automata and Their Net Representations
-
Altmetric BadgeChapter 11 On Concurrent Realization of Reactive Systems and Their Morphisms
-
Altmetric BadgeChapter 12 Transactions and Zero-Safe Nets
-
Altmetric BadgeChapter 13 Two Algebraic Process Semantics for Contextual Nets
-
Altmetric BadgeChapter 14 Continuous Petri Nets and Transition Systems