Construction of Petri Nets from a Given Partial Language
スポンサーリンク
概要
- 論文の詳細を見る
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 outline of a solution technique.
- 社団法人電子情報通信学会の論文
- 1996-12-25
著者
-
Nishimura Yoshiyuki
The Faculty Of Science Toho University
-
Onogi Katsuaki
The Faculty Of Engineering Nagoya University
-
HASHIZUME Susumu
the Faculty of Engineering, Toyo-hashi University of Technology
-
MITSUYAMA Yasushi
Kobe Shipyard & Machinery Engineering, Mitsubishi Heavy Industries
-
MATSUTANI Yutaka
the Faculty of Engineering, Toyo-hashi University of Technology
-
Matsutani Yutaka
The Faculty Of Engineering Toyo-hashi University Of Technology
-
Mitsuyama Yasushi
Kobe Shipyard & Machinery Engineering Mitsubishi Heavy Industries
-
Hashizume Susumu
The Faculty Of Engineering Toyo-hashi University Of Technology
-
ONOGI Katsuaki
Kobe Shipyard & Machinery Engineering, Mitsubishi Heavy Industries
-
MITSUYAMA Yasushi
the Faculty of Engineering, Nagoya University