Process versus unfolding semantics for Place/Transition Petri nets

Author： Meseguer J. Montanari U. Sassone V.

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.153, Iss.1, 1996-01, pp. : 171-210

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

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

An event structure semantics for general Petri nets

By Hoogers P.W. Kleijn H.C.M. Thiagarajan P.S.

Theoretical Computer Science, Vol. 153, Iss. 1, 1996-01 ,pp. : 129-170

Elsevier

Access to resources Recommend Favorite

Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets

By Mahulea Cristian Recalde Laura Silva Manuel

Discrete Event Dynamic Systems, Vol. 19, Iss. 2, 2009-06 ,pp. : 189-212

Springer Publishing Company

Access to resources Recommend Favorite

A uniform approach to true-concurrency and interleaving semantics for Petri nets

By Priese L. Wimmel H.

Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. : 219-256

Elsevier

Access to resources Recommend Favorite

A Process-control and Diagnostic Tool based on Continuous Fuzzy Petri Nets

By Grantham K. H.P. Raymond T. Stephen S.W.

Engineering Applications of Artificial Intelligence, Vol. 8, Iss. 6, 1995-12 ,pp. : 643-650

Elsevier

Access to resources Recommend Favorite