Download A Framework for Interacting Design/CPN-and Java

[7] Meta Software Corporation, Cambridge, MA, USA. Design/CPN Handbook Version
2.0, 1993.
[8] Daniel Moldt. Hohere Petrinetze als Grundlage fur Systemspezikationen. Dissertation, Universitat Hamburg, Fachbereich Informatik, August 1996.
[9] Daniel Moldt and Christoph Maier. Coloured Object Petri Nets - A Formal Technique
for Object Oriented Modelling. In B. Farwer, D. Moldt, and M.-O. Stehr, editors,
Petri Nets in System Engineering, Modelling, Verication and Validation, pages 11{
19, Fachbereich Informatik, Univ. Hamburg, 1997. FBI-HH-B-205/97.
[10] Daniel Moldt and Frank Wienberg. Multi-agent-systems based on coloured petri nets.
In Pierre Azema and Gianfranco Balbo, editors, Application and Theory of Petri Nets
1997, number 1248 in Lecture Notes in Computer Science, pages 82{101, Berlin, 1997.
Springer Verlag.
[11] Jens Linneberg Rasmussen and Mejar Singh. Mimic/CPN { A Graphics Animation
Utility for Design/CPN. User's Manual Version 1.5. Computer Science Department,
Aarhus University, December 1995.
[12] Rudiger Valk. On Concurrency in Communicating Object Nets, 1998. Accepted for
publication at the International Conference on Application and Theory of Petri Nets
(ICATPN).
20