Asian Journal of Information Technology
ISSN: Online 1993-5994ISSN: Print 1682-3915
Abstract
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.
How to cite this article:
Eleazar Jimenez Serrano , Keijiro Araki and Shigeru Kusakabe . Controlled Dan/Petri Nets for Modeling Multiple and Simultaneous Control of Discrete Event Systems.
DOI: https://doi.org/10.36478/ajit.2006.1117.1125
URL: https://www.makhillpublications.co/view-article/1682-3915/ajit.2006.1117.1125