For the most recent entries see the
Petri Nets Newsletter.
Towards Automated Checking of Component-Oriented Enterprise Applications.
Järvenpää, Jukka;
Mäkelä, Marko
In:
Daniel Moldt (Ed.): Proc. of the Second International Workshop on Modelling of Objects, Components, and Agents (MOCA'02), Aarhus, Denmark, August 26-27, 2002, pages 67-86.
Technical Report DAIMI PB-561,
August 2002.
Available online: http://www.daimi.au.dk/CPnets/workshop02/moca/papers/.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography