For the most recent entries see the Petri Nets Newsletter.

A Strict High-Level Net Model.

Gyuroff, Dilyan

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

Keywords: predicate-based strict high-level net model; CE-semantics; net invariants.

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

Back to the Petri Nets Bibliography