For the most recent entries see the Petri Nets Newsletter.

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

Elgaard, Louise

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:

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

Back to the Petri Nets Bibliography