For the most recent entries see the Petri Nets Newsletter.

Construction of Petri Nets from Given State Transitions.

Hiraishi, Kunihiko

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography