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 |
Fingerprint
All Science Journal Classification (ASJC) codes
- Modelling and Simulation
Cite this
Derivative subnets of the valid msc subnet ?C(Q) of controlled dan/petri nets. / Serrano, Eleazar Jiménez; Araki, Keijiro; Kusakabe, Shigeru.
International Mediterranean Modelling Multiconference, IMM. 2006. p. 171-179.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Derivative subnets of the valid msc subnet ?C(Q) of controlled dan/petri nets
AU - Serrano, Eleazar Jiménez
AU - Araki, Keijiro
AU - Kusakabe, Shigeru
PY - 2006
Y1 - 2006
N2 - 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).
AB - 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).
UR - http://www.scopus.com/inward/record.url?scp=84870217275&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84870217275&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84870217275
SN - 8469007262
SN - 9788469007266
SP - 171
EP - 179
BT - International Mediterranean Modelling Multiconference, IMM
ER -