On the analysis of some structural properties of Petri nets

Authors:
R. Bouyekhf;A. E. Moudni
Affiliations:
Lab. Syst.s et Transp.s UTBM, Belfort Technopole, France;-
Venue:
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Year:
2005

Citing 0
Cited 6

Reversibility analysis for Petri nets by using T-invariants

ACMOS'08 Proceedings of the 10th WSEAS International Conference on Automatic Control, Modelling & Simulation
A reversibility enforcement approach for petri nets using invariants

WSEAS TRANSACTIONS on SYSTEMS
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
A Petri net-based Ladder logic diagram design method for the logic and sequence control of photo mask transport

ICIC'09 Proceedings of the 5th international conference on Emerging intelligent computing technology and applications
Model-based development of virtual laboratories for robotics over the internet

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on recent advances in biometrics
A key event path analysis approach for integrated systems

Modelling and Simulation in Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Some structural properties of a general Petri net (PN) are considered. The paper endeavors to improve the link between PNs, the theory of matrix analysis, and linear inequalities. Necessary and/or sufficient conditions for consistency, conservativeness, boundedness, and repetitiveness are given in terms of certain determinants of the incidence matrix of the net. Besides, when the incidence matrix is square, theorems are derived in terms of the modified-incidence-matrix eigenvalues and, thus, inherently reduce the state-space explosion problem. Examples are worked out to illustrate the results.