For the most recent entries see the
Petri Nets Newsletter.
Formal Specification and State Space Analysis of an Operational Planning Process.
Mitchell, Brice;
Kristensen, Lars M.;
Zhang, Lin
In:
Kurt Jensen (Ed.): Proceedings of the Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 8-11, 2004, DAIMI PB - 570, pages 1-18.
October 2004.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography