Necessary and sufficient liveness condition of GS³PR Petri nets

E-ISSN： 1464-5319|46|7|1147-1160

ISSN： 1464-5319

Source： International Journal of Systems Science, Vol.46, Iss.7, 2015-05, pp. : 1147-1160

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

Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets

By Aybar Aydin İftar Altuğ Apaydin-Özkan Hani˙fe

International Journal of Control, Vol. 78, Iss. 8, 2005-05 ,pp. : 537-553

Taylor & Francis Ltd

Access to resources Recommend Favorite

Petri nets and time modelling

By Salum Latif

The International Journal of Advanced Manufacturing Technology, Vol. 38, Iss. 3-4, 2008-08 ,pp. : 377-382

Springer Publishing Company

Access to resources Recommend Favorite

Necessary and sufficient condition for average consensus of networked multi-agent systems with heterogeneous time delays

International Journal of Systems Science, Vol. 46, Iss. 5, 2015-04 ,pp. : 818-830

Taylor & Francis Ltd

Access to resources Recommend Favorite

Maximally permissive controller synthesis for time Petri nets

By Heidari Parisa Boucheneb Hanifa

International Journal of Control, Vol. 86, Iss. 3, 2013-03 ,pp. : 493-511

Taylor & Francis Ltd

Access to resources Recommend Favorite

Gradient-based controllers for timed continuous Petri nets

By Lefebvre Dimitri Leclercq Edouard Druaux Fabrice Thomas Philippe

International Journal of Systems Science, Vol. 46, Iss. 9, 2015-07 ,pp. : 1661-1678

Taylor & Francis Ltd

Access to resources Recommend Favorite