Derivative subnets of the valid msc subnet ?C(Q) of controlled dan/petri nets

Eleazar Jiménez Serrano, Keijiro Araki, Shigeru Kusakabe

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)


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 languageEnglish
Title of host publicationInternational Mediterranean Modelling Multiconference, IMM
Number of pages9
Publication statusPublished - 2006
EventInternational Mediterranean Modelling Multiconference, I3M 2006 - Barcelona, Spain
Duration: Oct 4 2006Oct 6 2006

Publication series

NameInternational Mediterranean Modelling Multiconference, I3M


OtherInternational Mediterranean Modelling Multiconference, I3M 2006

All Science Journal Classification (ASJC) codes

  • Modelling and Simulation


Dive into the research topics of 'Derivative subnets of the valid msc subnet ?C(Q) of controlled dan/petri nets'. Together they form a unique fingerprint.

Cite this