State Estimation of λ-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*

Author： Giua Alessandro   Corona Daniele   Seatzu Carla  

Publisher： Springer Publishing Company

ISSN： 0924-6703

Source： Discrete Event Dynamic Systems, Vol.15, Iss.1, 2005-03, pp. : 85-108

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

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

Efficient search of Petri Nets for deadlock-free scheduling in FMSs using heuristic functions

By ELMEKKAWY TAREK Y.   ELMARAGHY HODA A.  

International Journal of Computer Integrated Manufacturing, Vol. 16, Iss. 1, 2003-01 ,pp. : 14-24

Taylor & Francis Ltd

Access to resources Recommend Favorite

Deadlock-free verification and performance enhancement of RosettaNet PIPs with time Petri nets

By Liao Da-Yin   Liu Paladin  

International Journal of Computer Integrated Manufacturing, Vol. 18, Iss. 2-3, 2005-03 ,pp. : 199-209

Taylor & Francis Ltd

Access to resources Recommend Favorite

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

FIRING SEQUENCES AND FIRING FREQUENCIES ESTIMATION FOR TIMED PETRI NETS

By Lefebvre Dimitri  

Cybernetics and Systems, Vol. 31, Iss. 6, 2000-09 ,pp. : 689-711

Taylor & Francis Ltd

Access to resources Recommend Favorite