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)

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

Other

OtherInternational Mediterranean Modelling Multiconference, I3M 2006
CountrySpain
CityBarcelona
Period10/4/0610/6/06

Fingerprint

Petri nets
Petri Nets
Valid
Derivatives
Derivative
Modeling
Siphons
Discrete Event Systems
Discrete event simulation
Notation
Logic
Symmetry

All Science Journal Classification (ASJC) codes

  • Modelling and Simulation

Cite this

Serrano, E. J., Araki, K., & Kusakabe, S. (2006). Derivative subnets of the valid msc subnet ?C(Q) of controlled dan/petri nets. In International Mediterranean Modelling Multiconference, IMM (pp. 171-179)

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 proceedingConference contribution

Serrano, EJ, Araki, K & Kusakabe, S 2006, Derivative subnets of the valid msc subnet ?C(Q) of controlled dan/petri nets. in International Mediterranean Modelling Multiconference, IMM. pp. 171-179, International Mediterranean Modelling Multiconference, I3M 2006, Barcelona, Spain, 10/4/06.
Serrano EJ, Araki K, Kusakabe S. Derivative subnets of the valid msc subnet ?C(Q) of controlled dan/petri nets. In International Mediterranean Modelling Multiconference, IMM. 2006. p. 171-179
Serrano, Eleazar Jiménez ; Araki, Keijiro ; Kusakabe, Shigeru. / Derivative subnets of the valid msc subnet ?C(Q) of controlled dan/petri nets. International Mediterranean Modelling Multiconference, IMM. 2006. pp. 171-179
@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",

}

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 -