Validation environment of UML2 IOD based on hierarchical coloured Petri nets

Author： Bennama Miloud   Bouabana-Tebibel Thouraya  

Publisher： Inderscience Publishers

ISSN： 0952-8091

Source： International Journal of Computer Applications in Technology, Vol.47, Iss.2-3, 2013-06, pp. : 227-240

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

Attack trace generation of cryptographic protocols based on coloured Petri nets model

By Bai Yunli  

International Journal of Wireless and Mobile Computing, Vol. 6, Iss. 1, 2013-04 ,pp. : 91-97

Inderscience Publishers

Access to resources Recommend Favorite

Synthesis of AGVS by coloured-timed Petri nets

By Hsieh Suhua  

International Journal of Computer Integrated Manufacturing, Vol. 11, Iss. 4, 1998-07 ,pp. : 334-346

Taylor & Francis Ltd

Access to resources Recommend Favorite

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

Object Petri nets marking using UML

By Bouabana-Tebibel Thouraya   Méziani Lila  

International Journal of Computer Applications in Technology, Vol. 47, Iss. 2-3, 2013-06 ,pp. : 162-171

Inderscience Publishers

Access to resources Recommend Favorite

Implementing Coloured Petri Nets Using a Functional Programming Language

By Kristensen Lars Michael  

LISP and Symbolic Computation, Vol. 17, Iss. 3, 2004-09 ,pp. : 207-243

Springer Publishing Company

Access to resources Recommend Favorite