Copyright © 1989 Published by Elsevier Science B.V. All rights reserved.
Semi-commutations and Petri nets
Communicated by M. Nivat
Available online 26 March 2002.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
A semi-commutation is a generalization of a partial commutation. So-called traces are generated by partial commutations. This class is generalized in the paper for semi-commutations called quasi-traces. A study of quasi-traces and their application to the analysis of the firing sequences of Petri nets are presented in the sequel.







E-mail Article
Add to my Quick Links

Cited By in Scopus (0)




