Cooperative Navigation in Multimedia Systems
EDBT '02 Proceedings of the Worshops XMLDM, MDDE, and YRWS on XML-Based Data Management and Multimedia Engineering-Revised Papers
Supervisor synthesis for enforcing a class of generalized mutual exclusion constraints on petri nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
| Hi-index | 0.00 |
The purpose of the paper is to consider some special types of Petri nets, introduced by Lien (1976), and to propose a complete and unified approach for the study of their structural properties by using techniques of linear algebra of matrices. We distinguish four subclasses: forward-conflict-free, backward-conflict-free, forward-concurrent-free, and backward-concurrent-free Petri nets. A modification of the classical incidence matrix results in a square matrix, called a modified incidence matrix, with nonpositive (nonnegative) off-diagonal elements when backward-(forward-) conflict-free or concurrent-free Petri nets are considered. The modified incidence matrix eigenvalues are computed and theorems on matrices of this type are used to prove several sufficient and/or necessary conditions for structural boundedness, liveness, repetitiveness, conservativeness, and consistency of these four subclasses of Petri nets