For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
On State Avoidance Policies for Non-Ordinary Controlled Petri Nets with Uncontrollable Transitions
Young Cheol CHO Hong-ju MOON Wook Hyun KWON
IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1998/11/25
Print ISSN: 0916-8508
Type of Manuscript: PAPER
Category: Concurrent Systems
forbidden state problems, non-ordinary Petri nets, decision-free subnets,
Full Text: PDF>>
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.