Reversibility analysis for Petri nets by using T-invariants

Authors:
Hanife Apayd n Ozkan;Ayd n. Aybar
Affiliations:
Anadolu University, Electrical and Electronics Engineering, Eskisehir, Turkey;Anadolu University, Electrical and Electronics Engineering, Eskisehir, Turkey
Venue:
ACMOS'08 Proceedings of the 10th WSEAS International Conference on Automatic Control, Modelling & Simulation
Year:
2008

Citing 4
Cited 0

Combining Petri Nets and ns-2: A Hybrid Method for Analysis and Simulation

CNSR '06 Proceedings of the 4th Annual Communication Networks and Services Research Conference
Introduction to Discrete Event Systems

Introduction to Discrete Event Systems
Augmented reachability trees for 1-place-unbounded generalized Petri nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
On the analysis of some structural properties of Petri nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this work, we propose a method, based on T-invariants, to analyse reversibility of Petri nets. Proposed method determines all possible transition sequences, corresponding to minimal T-invariants. Then a reversible set is constructed by using these sequences. A corresponding pseudo-code algorithm of the method is written and it is implemented by using Matlab.