Super-Nets and their hierarchy (original) (raw)
Related papers
The Confluence Property for Petri Nets and its Applications
2006
Information and Control, 1977
Accelerations for the Coverability Set of Petri Nets with Names
Fundamenta Informaticae, 2011
Syntactical properties of unbounded nets of processors
Lecture Notes in Computer Science, 1989
Partial Order Semantics of Types of Nets
Lecture Notes in Computer Science, 2009
Normal and sinkless petri nets
Journal of Computer and System Sciences, 1993
Nets, lattices, and multicomponent KP hierarchies
Theoretical and Mathematical Physics, 2000
An Algebraic Semantics for Hierarchical P/T Nets (Extended Abstract)
1999
Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets
On the Upward/Downward Closures of Petri Nets
ArXiv, 2017
ACM Transactions in Embedded Computing Systems, 2014
Unfolding and finite prefix for nets with read arcs
Lecture Notes in Computer Science, 1998
An algebraic structure of petri nets
Lecture Notes in Computer Science, 1980
Complexity results for 1-safe nets
Theoretical Computer Science, 1995
LOGICAL FORMULAS FOR PETRI NET omega\omegaomega-LANGUAGES
Petri nets and szilard languages
Information and control, 1977
Some Logical Characterizations of the Dot-Depth Hierarchy and Applications
Journal of Computer and System Sciences, 1995
A Generalization of Subnexuses Based on N -Structures
2020
Nets Enriched over Closed Monoidal Structures
2003
Jumping Petri Nets. Specific Properties
An algebraic semantics for hierarchical P/T nets
Lecture Notes in Computer Science, 1995
On Computational Power of Jumping Petri Nets (Semigroups, Formal Languages and Computer Systems)
数理解析研究所講究録, 1996
An Algorithm for Constructing of Generalized Nets on
Polynomial agorithms for BR-nets and for a fragment of Girard's Linear Logic
Updated tables of parameters of (T, M, S)-nets
Journal of Combinatorial Designs, 1999
Petri nets with generalized algebra: a comparison
Electronic Notes in Theoretical Computer Science, 1999
On Liveness and Controlled Siphon Property in Nets
Non modularity and expressibility for nets of relations (extended abstract)
Lecture Notes in Computer Science, 1992
Electronic Notes in Theoretical Computer …, 2005
On weak persistency of petri nets
Information Processing Letters, 1981
Electronic Notes in Theoretical Computer Science, 1996
General Morphisms of Petri Nets (Extended Abstract)
International Colloquium on Automata, Languages and Programming, 1999