Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hassan Reza
Mapping AADL to Petri Net Tool-Sets Using PNML Framework
Journal of Software Engineering and Applications
Related publications
Research on Mapping UML to Petri-Net in System Modeling
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
ESA PetriNet: Petri Net Based Tool for Reliability Analysis
Petri Net Analysis Using Invariant Generation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Incremental Process Discovery Using Petri Net Synthesis
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Elgar Framework: Context-Aware Service Orchestration With Data Petri Net
Petri Net Synthesis
Texts in Theoretical Computer Science. An EATCS Series
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