@article{oai:nagoya.repo.nii.ac.jp:00013068, author = {HASHIZUME, Susumu and MITSUYAMA, Yasushi and MATSUTANI, Yutaka and ONOGI, Katsuaki and NISHIMURA, Yoshiyuki}, issue = {12}, journal = {IEICE transactions on fundamentals of electronics, communications and computer sciences}, month = {Dec}, note = {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.}, pages = {2192--2195}, title = {Construction of Petri Nets from a Given Partial Language}, volume = {E79-A}, year = {1996} }