Amanote Research

Amanote Research

    RegisterSign 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
2014English

Related publications

Research on Mapping UML to Petri-Net in System Modeling

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2016English

ESA PetriNet: Petri Net Based Tool for Reliability Analysis

2009English

Petri Net Analysis Using Invariant Generation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Incremental Process Discovery Using Petri Net Synthesis

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2017English

Elgar Framework: Context-Aware Service Orchestration With Data Petri Net

2017English

Petri Net Synthesis

Texts in Theoretical Computer Science. An EATCS Series
2015English

Embedding an Arbitrary 1-Safe Petri Net Into a Boolean Petri Net

International Journal of Computer Applications
2013English

Petri Net Synthesis and Synchronization Using Knitting Technique

English

Decentralized Supervision of Mobile Sensor Networks Using Petri Net

International Journal of Computer Science, Engineering and Information Technology
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy