A graph transformation approach of mobile activity diagram to nested Petri nets

ISSN： 1757-2657

Source： International Journal of Computer Aided Engineering and Technology, Vol.5, Iss.1, 2013-11, pp. : 44-57

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A symbolic reachability graph for coloured petri nets

By Chiola G. Dutheillet C. Franceschinis G. Haddad S.

Theoretical Computer Science, Vol. 176, Iss. 1, 1997-04 ,pp. : 39-65

Elsevier

Access to resources Recommend Favorite

Modelling workflows and collaboration in virtual supply chains with nested modular Petri nets

By Xu Qianli You Xiao Zhang Lianfeng (Linda) Jiao Jianxin (Roger)

International Journal of Computer Applications in Technology, Vol. 36, Iss. 3-4, 2009-09 ,pp. : 208-232

Inderscience Publishers

Access to resources Recommend Favorite

A uniform approach to true-concurrency and interleaving semantics for Petri nets

By Priese L. Wimmel H.

Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. : 219-256

Elsevier

Access to resources Recommend Favorite

Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems

International Journal of Intelligent Information Technologies (IJIIT), Vol. 12, Iss. 4, 2016-10 ,pp. : 1-20

IGI Global_journal

Access to resources Recommend Favorite

On the composition of time Petri nets

By Peres Florent

Discrete Event Dynamic Systems, Vol. 21, Iss. 3, 2011-09 ,pp. : 395-424

Springer Publishing Company

Access to resources Recommend Favorite