Construction of Petri Nets from a Given Partial Language
Susumu Hashizume, Yasushi Mitsuyama, Yutaka Matsutani, Katsuaki Onogi, Yoshiyuki Nishimura · Institutional Repositories DataBase (IRDB) · 1996
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.