2003 |
- BOOKTITLE:
- Application and Theory of Petri Nets 2003: 24\textsuperscriptth International Conference, ICATPN 2003
- SERIES:
- Lecture Notes in Computer Science
- PAGES:
- 201--220
|
2002 |
- BOOKTITLE:
- Formal Methods in Software Engineering and Defence Systems 2002
- SERIES:
- Conferences in Research and Practice in Information Technology
- PAGES:
- 11--16
|
- BOOKTITLE:
- Application and Theory of Petri Nets 2002: 23\textsuperscriptrd International Conference, ICATPN 2002
- SERIES:
- Lecture Notes in Computer Science
- PAGES:
- 434--444
|
- BOOKTITLE:
- Second Workshop on Modelling of Objects, Components and Agents
- SERIES:
- DAIMI report
- VOLUME:
- PB-561
- PAGES:
- 67--85
|
2001 |
|
- BOOKTITLE:
- Application and Theory of Petri Nets 2001: 22\textsuperscriptnd International Conference, ICATPN 2001
- SERIES:
- Lecture Notes in Computer Science
- PAGES:
- 283--302
|
- JOURNAL:
- Prosessori
- PAGES:
- 68--71
|
|
|
2000 |
|
- BOOKTITLE:
- Workshop on Concurrency, Specification & Programming 2000
- SERIES:
- Informatik-Bericht
- PAGES:
- 129--142
|
- BOOKTITLE:
- Practical Use of High-Level Petri Nets
- SERIES:
- DAIMI report PB
- PAGES:
- 111--125
|
- BOOKTITLE:
- Petri Nets 2000: Tool Demonstrations
- PAGES:
- 59--63
|
- BOOKTITLE:
- The 5\textsuperscriptth Workshop on Discrete Event Systems (WODES 2000)
- PAGES:
- 477--478
|
|
- BOOKTITLE:
- Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala
- PAGES:
- 75--85
|
1998 |
|