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

Eleazar Jiménez Serrano; Keijiro Araki; Shigeru Kusakabe

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

Eleazar Jiménez Serrano, Keijiro Araki, Shigeru Kusakabe

Advanced Software Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Citations (Scopus)

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/Territory	Spain
City	Barcelona
Period	10/4/06 → 10/6/06

All Science Journal Classification (ASJC) codes

Modelling and Simulation

Cite this

@inproceedings{52d410507f2944d98b9f66b41151088c,

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

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).",

author = "Serrano, {Eleazar Jim{\'e}nez} and Keijiro Araki and Shigeru Kusakabe",

year = "2006",

language = "English",

isbn = "8469007262",

pages = "171--179",

booktitle = "International Mediterranean Modelling Multiconference, IMM",

note = "International Mediterranean Modelling Multiconference, I3M 2006 ; Conference date: 04-10-2006 Through 06-10-2006",

}

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

T2 - International Mediterranean Modelling Multiconference, I3M 2006

Y2 - 4 October 2006 through 6 October 2006

ER -

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

Abstract

Other

All Science Journal Classification (ASJC) codes

Other files and links

Fingerprint

Cite this