An axiomatization of the algebra of Petri net concatenable processes

Author： Sassone V.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.170, Iss.1, 1996-12, pp. : 277-296

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

Modeling of Manufacturing Processes Using a Petri-net Representation

By Rudas I.J.   Horvath L.  

Engineering Applications of Artificial Intelligence, Vol. 10, Iss. 3, 1997-06 ,pp. : 243-255

Elsevier

Access to resources Recommend Favorite

Merged processes: a new condensed representation of Petri net behaviour

By Khomenko Victor   Kondratyev Alex   Koutny Maciej   Vogler Walter  

Acta Informatica, Vol. 43, Iss. 5, 2006-12 ,pp. : 307-330

Springer Publishing Company

Access to resources Recommend Favorite

Automatic generation of ladder diagram with control Petri Net

By Lee Gi Bum   Zandong Han   Lee Jin S.  

Journal of Intelligent Manufacturing, Vol. 15, Iss. 2, 2004-04 ,pp. : 245-252

Springer Publishing Company

Access to resources Recommend Favorite

A Sufficient Condition for Reachability in a General Petri Net

By Ramachandran Parthasarathy   Kamath Manjunath  

Discrete Event Dynamic Systems, Vol. 14, Iss. 3, 2004-07 ,pp. : 251-266

Springer Publishing Company

Access to resources Recommend Favorite

Petri net versus queuing theory for evaluation of FMS

By Ullah Hamid  

Assembly Automation, Vol. 31, Iss. 1, 2011-02 ,pp. : 29-37

Emerald Group Publishing Ltd

Access to resources Recommend Favorite