A reversibility enforcement approach for petri nets using invariants

Authors:
Hanife Apaydin Özkan;Aydin Aybar
Affiliations:
Anadolu University, Electrical and Electronics Engineering, Eskisehir, Turkey;Anadolu University, Electrical and Electronics Engineering, Eskisehir, Turkey
Venue:
WSEAS TRANSACTIONS on SYSTEMS
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

Petri net model which is one of the most common modelling method of discrete event systems, is considered to enforce reversibility in this work. Reversibility guarantees that the intial state is reachable from any state in the reachability set of given Petri net. An approach, enforcing reversibility, is presented in this work. In this approach, the minimal T-invariants and the firing sequences coressponding to the determined T-invariants are determined. Then, a set of markings, which is a subset of reachability set, is constructed by using those firing sequences. In this set, any state can reach to the initial state. Furthemore, the algorithms are developed for the presented enforcement approach and implemented by using Matlab.