Reachability analysis of a class of Petri nets using place invariants and siphons

This paper proposes a novel and computationally efficient approach to deal with the reachability problem by using place invariants and strict minimal siphons for a class of Petri nets called pipe-line nets (PLNs). First, in a PLN with an appropriate initial marking, the set of invariant markings and...

Full description

Bibliographic Details
Main Author: Zhi Wu Li
Format: Article
Language:English
Published: Maejo University 2013-07-01
Series:Maejo International Journal of Science and Technology
Subjects:
Online Access:http://www.mijst.mju.ac.th/vol7/278-290.pdf