Extremal Throughputs in Free-Choice Nets

By Bouillard Anne   Gaujal Bruno   Mairesse Jean  

Discrete Event Dynamic Systems, Vol. 16, Iss. 3, 2006-09 ,pp. : 327-352

Springer Publishing Company

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

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 analysis of logic Petri nets using incidence matrix

By Du Yu Yue   Ning Yu Hui   Qi Liang  

Enterprise Information Systems, Vol. 8, Iss. 6, 2014-11 ,pp. : 630-647

Taylor & Francis Ltd

Access to resources Recommend Favorite

Control of Safe Ordinary Petri Nets Using Unfolding

By Giua Alessandro   Xie Xiaolan  

Discrete Event Dynamic Systems, Vol. 15, Iss. 4, 2005-12 ,pp. : 349-373

Springer Publishing Company

Access to resources Recommend Favorite