| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Easy concurrency
|
Aizman, Alex
|
|
2001
|
3 |
4 |
p. 456-468
|
artikel
|
| 2 |
Executable Petri net models for the analysis of metabolic pathways
|
Genrich, Hartmann
|
|
2001
|
3 |
4 |
p. 394-404
|
artikel
|
| 3 |
Generating an action notation environment from Montages descriptions
|
Anlauff, Matthias
|
|
2001
|
3 |
4 |
p. 431-455
|
artikel
|
| 4 |
Implementing compositionality for stochastic Petri nets
|
Bernardi, S.
|
|
2001
|
3 |
4 |
p. 417-430
|
artikel
|
| 5 |
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
|
Simons, David P.L.
|
|
2001
|
3 |
4 |
p. 469-485
|
artikel
|
| 6 |
Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods
|
Ojala, Leo
|
|
2001
|
3 |
4 |
p. 382-393
|
artikel
|
| 7 |
Preface by the section editor
|
Jensen, Kurt
|
|
2001
|
3 |
4 |
p. 369-371
|
artikel
|
| 8 |
Specification and validation of a concurrent system: an educational project
|
Berthelot, Gérard
|
|
2001
|
3 |
4 |
p. 372-381
|
artikel
|
| 9 |
The Petri Net Kernel An infrastructure for building Petri net tools
|
Kindler, Ekkart
|
|
2001
|
3 |
4 |
p. 486-497
|
artikel
|
| 10 |
Web-based interfaces for simulation of coloured Petri net models
|
Lindstrom, Bo
|
|
2001
|
3 |
4 |
p. 405-416
|
artikel
|
Tijdschrift beschrijving