This paper deals with the synthesis of Petri nets. Partial languages adequately represent the concurrent behaviors of Petri nets. We first propose a construction problem for Petri nets, in which the objective is to synthesize a Petri net to exhibit the desired behavior specified as a partial language. We next discuss the solvability of this problem and last present the cutline of a solution technique.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copy
Susumu HASHIZUME, Yasushi MITSUYAMA, Yutaka MATSUTANI, Katsuaki ONOGI, Yoshiyuki NISHIMURA, "Construction of Petri Nets from a Given Partial Language" in IEICE TRANSACTIONS on Fundamentals,
vol. E79-A, no. 12, pp. 2192-2195, December 1996, doi: .
Abstract: This paper deals with the synthesis of Petri nets. Partial languages adequately represent the concurrent behaviors of Petri nets. We first propose a construction problem for Petri nets, in which the objective is to synthesize a Petri net to exhibit the desired behavior specified as a partial language. We next discuss the solvability of this problem and last present the cutline of a solution technique.
URL: https://global.ieice.org/en_transactions/fundamentals/10.1587/e79-a_12_2192/_p
Copy
@ARTICLE{e79-a_12_2192,
author={Susumu HASHIZUME, Yasushi MITSUYAMA, Yutaka MATSUTANI, Katsuaki ONOGI, Yoshiyuki NISHIMURA, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={Construction of Petri Nets from a Given Partial Language},
year={1996},
volume={E79-A},
number={12},
pages={2192-2195},
abstract={This paper deals with the synthesis of Petri nets. Partial languages adequately represent the concurrent behaviors of Petri nets. We first propose a construction problem for Petri nets, in which the objective is to synthesize a Petri net to exhibit the desired behavior specified as a partial language. We next discuss the solvability of this problem and last present the cutline of a solution technique.},
keywords={},
doi={},
ISSN={},
month={December},}
Copy
TY - JOUR
TI - Construction of Petri Nets from a Given Partial Language
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 2192
EP - 2195
AU - Susumu HASHIZUME
AU - Yasushi MITSUYAMA
AU - Yutaka MATSUTANI
AU - Katsuaki ONOGI
AU - Yoshiyuki NISHIMURA
PY - 1996
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E79-A
IS - 12
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - December 1996
AB - This paper deals with the synthesis of Petri nets. Partial languages adequately represent the concurrent behaviors of Petri nets. We first propose a construction problem for Petri nets, in which the objective is to synthesize a Petri net to exhibit the desired behavior specified as a partial language. We next discuss the solvability of this problem and last present the cutline of a solution technique.
ER -