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