Model checking using net unfoldings
TAPSOFT '93 Selected papers of the colloquium on Formal approaches of software engineering
Free choice Petri nets
Proving nonreachability by modulo-invariants
Theoretical Computer Science - Special volume on Petri nets
Elements of distributed algorithms: modeling and analysis with Petri nets
Elements of distributed algorithms: modeling and analysis with Petri nets
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Primer in Petri Net Design
How Distributed Algorithms Play the Token Game
Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Place or Transition Petri Nets
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Principles of High-Level Net Theory
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Decidability and Complexity of Petri Net Problems - An Introduction
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Validation of Process Models by Construction of Process Nets
Business Process Management, Models, Techniques, and Empirical Studies
ARIS Architecture and Reference Models for Business Process Management
Business Process Management, Models, Techniques, and Empirical Studies
Guidelines of Business Process Modeling
Business Process Management, Models, Techniques, and Empirical Studies
Structured Analysis for Requirements Definition
IEEE Transactions on Software Engineering
Model Validation - A Theoretical Issue?
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Petri Nets over Partial Algebra
Unifying Petri Nets, Advances in Petri Nets
A case study of coloured Petri nets in object-oriented analysis and design
Nordic Journal of Computing
Semantics of petri nets: a comparison
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Petri Net-Based Simulation and Analysis of the Software Development Process
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Unifying Petri Net Semantics with Token Flows
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Instance deadlock: a mystery behind frozen programs
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Unfoldings of bounded hybrid petri nets
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Faster verification of partially ordered runs in petri nets using compact tokenflows
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Hi-index | 0.00 |
The increasing number of Petri net variants naturally leads to the question whether the term "Petri net" is more than a common name for very different concepts. This contribution tries to identify aspects common to all or at least to most Petri nets. It concentrates on those features where Petri nets significantly differ from other modeling languages, i.e. we ask where the use of Petri nets leads to advantages compared to other languages. Different techniques that are usually comprised under the header "analysis" are distinguished with respect to the analysis aim. Finally, the role of Petri nets in the development of distributed systems is discussed.