Coloured Petri Nets: A High Level Language for System Design and Analysis.

For the most recent entries see the Petri Nets Newsletter.

Report DAIMI PB--338. Aarhus, Denmark: University, Computer Science Department, November 1990.

Keywords: coloured net, high level language (for system) design (and) analysis.

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