TY - JOUR
T1 - Controlled Dan/Petri Nets for Modeling Multiple and Simultaneous Control of Discrete Event Systems
AU - , Eleazar Jimenez Serrano AU - , Keijiro Araki AU - , Shigeru Kusakabe
JO - Asian Journal of Information Technology
VL - 5
IS - 10
SP - 1117
EP - 1125
PY - 2006
DA - 2001/08/19
SN - 1682-3915
DO - ajit.2006.1117.1125
UR - https://makhillpublications.co/view-article.php?doi=ajit.2006.1117.1125
KW - Petri nets
KW -simulation
KW -discrete event systems
KW -control systems
AB - For the purpose of modeling Discrete Event Systems (DES), a Petri net-based modeling framework called Dan/Petri Net (D/PN) is presented, working only with subnets and having a different enabling rule based on an arcs-counting function and non-boolean guards called dans. And Controlled D/PN is one extension developed to explain the modeling of multiple and simultaneous control (MSC) in DES through the fundamental MSC subnet and its notation convention, called valid MSC subnet c(q) and its derivative subnet na(q). At the end of this paper we present the usage of Controlled D/PN in the MSC design for an D/PN model through MSC subnets.
ER -