For the most recent entries see the Petri Nets Newsletter.

Undecidability of the Existence of Inverse Homomorphic Images for Occurrence Sequences in High Level Petri Nets.

Müller, Horst

In: Petri Net Newsletter No. 28, pages 13-17. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, December 1987.

Keywords: conflict definition; undecidability; occurrence sequence; high-level net.


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

Back to the Petri Nets Bibliography