Amanote Research
Register
Sign In
The Reachability Problem for Petri Nets Is Not Elementary
doi 10.1145/3313276.3316369
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2019
Authors
Wojciech Czerwiński
Sławomir Lasota
Ranko Lazić
Jérôme Leroux
Filip Mazowiecki
Publisher
ACM Press
Related search
Compositional Reachability in Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems
A Class of Petri Nets That a Necessary and Sufficient Condition for Reachability Is Obtainable
Transactions of the Society of Instrument and Control Engineers
On State-Space Compression and State Reachability Retrieval of Petri Nets
Advances in Mechanical Engineering
Mechanical Engineering
The Symmetry Method for Coloured Petri Nets
DAIMI Report Series
Control Optimality for Ordinary Petri Nets
IFAC Proceedings Volumes
Solution Techniques for Stochastic Petri Nets.
Supervisors of Petri Nets
Research Papers Faculty of Materials Science and Technology Slovak University of Technology
Papetri : Environment for the Analysis of PETRI Nets
