For the most recent entries see the
Petri Nets Newsletter.
Existential Quantifiers in Predicate-Fact-Nets.
Thieler-Mevissen, G.
In:
Voss, K.; Genrich, H.J.; Rozenberg, G.: Concurrency and Nets - Advances in Petri Nets, pages 533-554.
Berlin: Springer-Verlag,
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography