Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sławomir Lasota
The Reachability Problem for Petri Nets Is Not Elementary
Related publications
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
