Coloured Petri Nets and State Space Generation with the Symmetry Method.

For the most recent entries see the Petri Nets Newsletter.

Coloured Petri Nets and State Space Generation with the Symmetry Method.

In: Kurt Jensen (Ed.): Proc. of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 28-30, 2002, pages 121-138. Technical Report DAIMI PB-560, August 2002. Available online: http://www.daimi.au.dk/CPnets/workshop02/cpn/papers/.

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

Back to the Petri Nets Bibliography