In: Intern. Inst. for Advanced Study of Soc. Inform. Sci. IIAS-SIS, Fujitsu Lab. Ltd. Research Report IIAS-RR-91-18E. 1991.
Abstract: Construction of Petri nets is studied as a problem to synthesize a Petri net from given specifications of a target system. Specifications are presented as a desirable behavior of the system, which is described in the form of a deterministic finite automaton. The problem has been considered in several cases, Petri nets without renaming, Petri nets with renaming, some subclasses of Petri nets and timed Petri nets. Relationship between concurrent behavior and sequential behavior of marked Petri nets is also studied.