Volume 10,
Number 1,
January 2008
- Kurt Jensen:
Special section on Coloured Petri Nets.
1-3
Electronic Edition (link) BibTeX
- Lars Michael Kristensen, Peter Mechlenborg, Lin Zhang, Brice Mitchell, Guy Edward Gallasch:
Model-based development of a course of action scheduling tool.
5-14
Electronic Edition (link) BibTeX
- Jens Bæk Jørgensen, Kristian Bisgaard Lassen, Wil M. P. van der Aalst:
From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system.
15-28
Electronic Edition (link) BibTeX
- Somsak Vanit-Anunchai, Jonathan Billington, Guy Edward Gallasch:
Analysis of the Datagram Congestion Control Protocol's connection management procedures using the sweep-line method.
29-56
Electronic Edition (link) BibTeX
- Anne Rozinat, R. S. Mans, Minseok Song, Wil M. P. van der Aalst:
Discovering colored Petri nets from event logs.
57-74
Electronic Edition (link) BibTeX
- Guy Edward Gallasch, Nimrod Lilith, Jonathan Billington, Lin Zhang, Axel Bender, Benjamin Francis:
Modelling defence logistics networks.
75-93
Electronic Edition (link) BibTeX
- Florian Gottschalk, Wil M. P. van der Aalst, Monique H. Jansen-Vullers, H. M. W. Verbeek:
Protos2CPN: using colored Petri nets for configuring and testing business processes.
95-110
Electronic Edition (link) BibTeX
Volume 10,
Number 2,
March 2008
Copyright © Fri May 16 16:50:58 2008
by Michael Ley (ley@uni-trier.de)
