Verification of bounded Petri nets using integer programming

By Khomenko Victor   Koutny Maciej  

Formal Methods in System Design, Vol. 30, Iss. 2, 2007-04 ,pp. : 143-176

Springer Publishing Company

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

Micropayment proposal with formal verification using coloured Petri nets and performance analysis on the Android platform

By Isern-Deyà Andreu Pere   Payeras-Capellà M. Magdalena   Mut-Puigserver Macià   Ferrer-Gomila Josep-Lluis   Huguet-Rotger Llorenç  

International Journal of Business Intelligence and Data Mining, Vol. 8, Iss. 1, 2013-08 ,pp. : 74-104

Inderscience Publishers

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