On State Avoidance Policies for Non-Ordinary Controlled Petri Nets with Uncontrollable Transitions

Young Cheol CHO  Hong-ju MOON  Wook Hyun KWON  

Publication
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences   Vol.E81-A   No.11   pp.2426-2432
Publication Date: 1998/11/25
Online ISSN: 
DOI: 
Print ISSN: 0916-8508
Type of Manuscript: PAPER
Category: Concurrent Systems
Keyword: 
forbidden state problems,  non-ordinary Petri nets,  decision-free subnets,  

Full Text: PDF>>
Buy this Article




Summary: 
In this paper, a new method is proposed for solving forbidden state problems in non-ordinary controlled Petri nets (NCPNs) with uncontrollable transitions. Using a precedence subnet and a boundary subnet with decision-free properties, the behavior of markings are analyzed structurally. An efficient algorithm is presented for calculating the number of total tokens in forbidden places reachable from a marking. This paper derives necessary and sufficient conditions for identifying admissible markings and boundary markings in terms of the precedence subnet and the boundary subnet.