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

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches

By Berthomieu Bernard   Lime Didier   Roux Olivier   Vernadat François  

Discrete Event Dynamic Systems, Vol. 17, Iss. 2, 2007-06 ,pp. : 133-158

Springer Publishing Company

Access to resources Recommend Favorite

Reachability in live and safe free-choice Petri nets is NP-complete

By Esparza J.  

Theoretical Computer Science, Vol. 198, Iss. 1, 1998-05 ,pp. : 211-224

Elsevier

Access to resources Recommend Favorite

Neurovision-based logic control of an experimental manufacturing plant using neural net le-net5 and automation Petri nets

By Karlik B.   Uzam M.   Cinsdikici M.   Jones A.  

Journal of Intelligent Manufacturing, Vol. 16, Iss. 4-5, 2005-10 ,pp. : 527-548

Springer Publishing Company

Access to resources Recommend Favorite

Modelling and control of a multimodal transportation system using hybrid Petri nets with fuzzy logic

By Mahi Faiza   Nait-Sidi-Moh Ahmed   Debbat Fatima   Khelfi Mohamed-Faycal  

International Journal of Systems, Control and Communications, Vol. 5, Iss. 3-4, 2013-12 ,pp. : 255-275

Inderscience Publishers

Access to resources Recommend Favorite