The Container Crane System.

For the most recent entries see the Petri Nets Newsletter.

The Container Crane System.

In: Petri Net Newsletter No. 34, pages cover, 3-9. Bonn, Germany: Gesellschaft für Informatik (GI), Special Interest Group on Petri Nets and Related System Models, December 1989.

Keywords: place invariant; transiton invariant; structured token; term substitution.

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

Back to the Petri Nets Bibliography