Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Paweł Sobociński
Compositional Reachability in Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Deriving Structural Labelled Transitions for Mobile Ambients
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
The Reachability Problem for Petri Nets Is Not Elementary
On State-Space Compression and State Reachability Retrieval of Petri Nets
Advances in Mechanical Engineering
Mechanical Engineering
Petri Nets Compositional Modeling and Verification of Flexible Manufacturing 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
Cycle Folding in Petri Nets
Science Bulletin of the Novosibirsk State Technical University
Supervisors of Petri Nets
Research Papers Faculty of Materials Science and Technology Slovak University of Technology
Timed Petri Nets and BQOs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parametrisation of Coloured Petri Nets
DAIMI Report Series
Checking Subsystem Safety Properties in Compositional Reachability Analysis
