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

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.

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