Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Martin Schwarick
DSSZ-MC – A Tool for Symbolic Analysis of Extended Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Symbolic Analysis of Bounded Petri Nets
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
Romeo: A Tool for Analyzing Time Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Genet: A Tool for the Synthesis and Mining of Petri Nets
Complexity Analysis of Continuous Petri Nets
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Papetri : Environment for the Analysis of PETRI Nets
NPNtool: Modelling and Analysis Toolset for Nested Petri Nets
Relation-Algebraic Analysis of Petri Nets With RELVIEW
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Supervisors of Petri Nets
Research Papers Faculty of Materials Science and Technology Slovak University of Technology
Control Optimality for Ordinary Petri Nets
IFAC Proceedings Volumes
