Equivalent Net Reduction for Firing Sequence

Masato NAKAGAWA; Sadatoshi KUMAGAI; Toshiyuki MIYAMOTO; Dong-Ik S. LEE

Equivalent Net Reduction for Firing Sequence

Masato NAKAGAWA, Sadatoshi KUMAGAI, Toshiyuki MIYAMOTO, Dong-Ik S. LEE

Full Text Views

0

Share
Cite this

Summary :

In this paper, we discuss an abstraction method for Petri nets based on an equivalence of firing sequences of a specified subnet or a specified subset of transitions. Specifically, a method is presented to generate an equivalent net which preserves firing sequences of a specified subnet or a specified subset of transitions. The abstraction can be applied to an efficient behavioral analysis of concurrent systems constructed by composition of modules such as communication networks and Flexible Manufacturing Systems (FMS).

Publication: IEICE TRANSACTIONS on Fundamentals Vol.E78-A No.11 pp.1447-1457

Publication Date: 1995/11/25

Publicized

Online ISSN

DOI

Type of Manuscript: Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)

Category

Cite this

Copy

Masato NAKAGAWA, Sadatoshi KUMAGAI, Toshiyuki MIYAMOTO, Dong-Ik S. LEE, "Equivalent Net Reduction for Firing Sequence" in IEICE TRANSACTIONS on Fundamentals, vol. E78-A, no. 11, pp. 1447-1457, November 1995, doi: .
Abstract: In this paper, we discuss an abstraction method for Petri nets based on an equivalence of firing sequences of a specified subnet or a specified subset of transitions. Specifically, a method is presented to generate an equivalent net which preserves firing sequences of a specified subnet or a specified subset of transitions. The abstraction can be applied to an efficient behavioral analysis of concurrent systems constructed by composition of modules such as communication networks and Flexible Manufacturing Systems (FMS).
URL: https://globals.ieice.org/en_transactions/fundamentals/10.1587/e78-a_11_1447/_p

Copy

@ARTICLE{e78-a_11_1447,
author={Masato NAKAGAWA, Sadatoshi KUMAGAI, Toshiyuki MIYAMOTO, Dong-Ik S. LEE, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Equivalent Net Reduction for Firing Sequence},
year={1995},
volume={E78-A},
number={11},
pages={1447-1457},
abstract={In this paper, we discuss an abstraction method for Petri nets based on an equivalence of firing sequences of a specified subnet or a specified subset of transitions. Specifically, a method is presented to generate an equivalent net which preserves firing sequences of a specified subnet or a specified subset of transitions. The abstraction can be applied to an efficient behavioral analysis of concurrent systems constructed by composition of modules such as communication networks and Flexible Manufacturing Systems (FMS).},
keywords={},
doi={},
ISSN={},
month={November},}

Copy

TY - JOUR
TI - Equivalent Net Reduction for Firing Sequence
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 1447
EP - 1457
AU - Masato NAKAGAWA
AU - Sadatoshi KUMAGAI
AU - Toshiyuki MIYAMOTO
AU - Dong-Ik S. LEE
PY - 1995
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E78-A
IS - 11
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - November 1995
AB - In this paper, we discuss an abstraction method for Petri nets based on an equivalence of firing sequences of a specified subnet or a specified subset of transitions. Specifically, a method is presented to generate an equivalent net which preserves firing sequences of a specified subnet or a specified subset of transitions. The abstraction can be applied to an efficient behavioral analysis of concurrent systems constructed by composition of modules such as communication networks and Flexible Manufacturing Systems (FMS).
ER -