An algebraic structure of petri nets (original) (raw)
Related papers
Some subclasses of Petri nets and the analysis of their structural properties: a new approach
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 1999
The Confluence Property for Petri Nets and its Applications
2006
The Possibilities of Modeling Petri Nets and Their Extensions
Computer Simulation [Working Title], 2019
Definitions of Petri Net. Part III
2007
Relational algebraic framework for the modelling and analysis of Petri nets
Information and Software Technology, 1995
On Nets with Structured Concurrency
Application and Theory of Petri Nets and Concurrency
Lecture Notes in Computer Science, 2013
Linear time analysis of properties of conflict-free and general Petri nets
Luigi Laura, Paola Alimonti, Umberto Nanni
Theoretical Computer Science, 2011
Transactions on Petri Nets and Other Models of Concurrency II
Lecture Notes in Computer Science, 2009
Process Semantics of Petri Nets over Partial Algebra
Lecture Notes in Computer Science, 2000
General Morphisms of Petri Nets (Extended Abstract)
International Colloquium on Automata, Languages and Programming, 1999
Acta Informatica, 1998
Electronic Notes in Theoretical Computer …, 2005
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae, 2008
The non-sequential behaviour of Petri nets
Information and Control
Symbolic analysis of bounded Petri nets
IEEE Transactions on Computers, 2001
A Method of Analysis of Operational Petri Nets
Advanced Computer Systems, 2002
On Petri Nets with Hierarchical Special Arcs
ArXiv, 2017
Fundamenta Informaticae
Using Petri nets as a model for Petri nets
2003
Petri nets with generalized algebra: a comparison
Electronic Notes in Theoretical Computer Science, 1999
On weak persistency of petri nets
Information Processing Letters, 1981
A Notion of Safeness in Time for Petri Nets
1996
Compositional analysis of Petri nets
Cybernetics and Systems Analysis, 2006
Compositional Petri net approach to the development of concurrent and distributed systems
Programming and Computer …, 2001
A Review of Petri Net Modeling of Dynamical Systems
2012
Concurrent bisimulations in Petri nets
Acta Informatica, 1991
Structural Methods Applied to the Symbolic Analysis of Petri Nets
Iwls, 1998