Abstract
A Petri net-based modeling framework called Dan/Petri net (D/PN) is used to model Discrete Event Systems. And Controlled D/PN is one extension developed to explain the modeling of multiple and simultaneous control (MSC). This type of control is modeled through MSC subnets which are clusters of siphons. We present a specific symmetry and notation convention for MSC subnets, and when they allow the modeling of our MSC-logic they are called valid MSC subnets. The first and fundamental valid MSC subnet, called the ?c(q) subnet and used for Controlled D/PN, is presented together with one derivative valid MSC subnet of the fundamental subnet ?c(q).
Original language | English |
---|---|
Title of host publication | International Mediterranean Modelling Multiconference, IMM |
Pages | 171-179 |
Number of pages | 9 |
Publication status | Published - 2006 |
Event | International Mediterranean Modelling Multiconference, I3M 2006 - Barcelona, Spain Duration: Oct 4 2006 → Oct 6 2006 |
Other
Other | International Mediterranean Modelling Multiconference, I3M 2006 |
---|---|
Country | Spain |
City | Barcelona |
Period | 10/4/06 → 10/6/06 |
All Science Journal Classification (ASJC) codes
- Modelling and Simulation