CONSTRUCTION OF PETRI NETS FROM A GIVEN PARTIAL LANGUAGE

Authors
HASHIZUME S MITSUYAMA Y MATSUTANI Y ONOGI K NISHIMURA Y
Citation
S. Hashizume et al., CONSTRUCTION OF PETRI NETS FROM A GIVEN PARTIAL LANGUAGE, IEICE transactions on fundamentals of electronics, communications and computer science, E79A(12), 1996, pp. 2192-2195
Citations number
6
Categorie Soggetti
Engineering, Eletrical & Electronic","Computer Science Hardware & Architecture","Computer Science Information Systems
Journal title
IEICE transactions on fundamentals of electronics, communications and computer science → ACNP
ISSN journal
09168508
Volume
E79A
Issue
12
Year of publication
1996
Pages
2192 - 2195
Database
ISI
SICI code
0916-8508(1996)E79A:12<2192:COPNFA>2.0.ZU;2-H
Abstract
This paper deals with the synthesis of Petri nets. Partial languages a dequately represent the concurrent behaviors of Petri nets. We first p ropose a construction problem for Petri nets, in which the objective i s 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.