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

ON THE CALCULATION OF THE TRANSFER FUNCTION OF TIMED EVENT PETRI NETS

By Komenda Jan   Moudni A. El   Zerhouni N.   Ferney M.  

Cybernetics and Systems, Vol. 28, Iss. 7, 1997-10 ,pp. : 607-624

Taylor & Francis Ltd

Access to resources Recommend Favorite

A theory of implementation and refinement in timed Petri nets

By Felder M.   Gargantini A.   Morzenti A.  

Theoretical Computer Science, Vol. 202, Iss. 1, 1998-07 ,pp. : 127-161

Elsevier

Access to resources Recommend Favorite

Use of timed petri net and activity cycle diagram methodologies for modelling tandem AGVs in FMSs and their performance evaluation

By Tiwari M. K.   Chandrasekaran M.   Mohanty R. P.  

International Journal of Computer Integrated Manufacturing, Vol. 14, Iss. 4, 2001-08 ,pp. : 399-408

Taylor & Francis Ltd

Access to resources Recommend Favorite

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