IEICE TRANSACTIONS on Fundamentals
On State Avoidance Policies for Non-Ordinary Controlled Petri Nets with Uncontrollable Transitions
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.
- Publication
- IEICE TRANSACTIONS on Fundamentals Vol.E81-A No.11 pp.2426-2432
- Publication Date
- 1998/11/25
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- Category
- Concurrent Systems
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Young Cheol CHO, Hong-ju MOON, Wook Hyun KWON, "On State Avoidance Policies for Non-Ordinary Controlled Petri Nets with Uncontrollable Transitions" in IEICE TRANSACTIONS on Fundamentals,
vol. E81-A, no. 11, pp. 2426-2432, November 1998, doi: .
Abstract: 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.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e81-a_11_2426/_p
Copy
@ARTICLE{e81-a_11_2426,
author={Young Cheol CHO, Hong-ju MOON, Wook Hyun KWON, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={On State Avoidance Policies for Non-Ordinary Controlled Petri Nets with Uncontrollable Transitions},
year={1998},
volume={E81-A},
number={11},
pages={2426-2432},
abstract={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.},
keywords={},
doi={},
ISSN={},
month={November},}
Copy
TY - JOUR
TI - On State Avoidance Policies for Non-Ordinary Controlled Petri Nets with Uncontrollable Transitions
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2426
EP - 2432
AU - Young Cheol CHO
AU - Hong-ju MOON
AU - Wook Hyun KWON
PY - 1998
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E81-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 1998
AB - 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.
ER -
English
