Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Henny Sipma
Petri Net Analysis Using Invariant Generation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Incremental Process Discovery Using Petri Net Synthesis
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Petri Net Synthesis
Texts in Theoretical Computer Science. An EATCS Series
A New Methodology for Automated Petri Net Generation: Method Application
Reliability Engineering and System Safety
Industrial
Risk
Applied Mathematics
Manufacturing Engineering
Reliability
Safety
Quality
Embedding an Arbitrary 1-Safe Petri Net Into a Boolean Petri Net
International Journal of Computer Applications
Petri Net Synthesis and Synchronization Using Knitting Technique
Decentralized Supervision of Mobile Sensor Networks Using Petri Net
International Journal of Computer Science, Engineering and Information Technology
ESA PetriNet: Petri Net Based Tool for Reliability Analysis
Mapping AADL to Petri Net Tool-Sets Using PNML Framework
Journal of Software Engineering and Applications
Modeling Internet Host Reliability Using Higher-Order Time Petri Net
International Journal of Computer Applications
