|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol |
Billington, Jonathan |
2008 |
88 | 3 |
p. 357-385 |
artikel |
|
| 2 | From Many Places to Few: Automatic Abstraction Refinement for Petri Nets |
Ganty, Pierre |
2008 |
88 | 3 |
p. 275-305 |
artikel |
|
| 3 | Name Creation vs. Replication in Petri Net Systems |
Rosa-Velardo, Fernando |
2008 |
88 | 3 |
p. 329-356 |
artikel |
|
| 4 | Nets with Tokens which Carry Data |
Lazić, Ranko |
2008 |
88 | 3 |
p. 251-274 |
artikel |
|
| 5 | On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets |
Boyer, Marc |
2008 |
88 | 3 |
p. 225-249 |
artikel |
|
| 6 | Preface |
2008 |
88 | 3 |
p. i-ii |
artikel |
||
| 7 | Synthesis of Elementary Net Systems with Context Arcs and Localities |
Koutny, Maciej |
2008 |
88 | 3 |
p. 307-328 |
artikel |
|
| 8 | Working with the Past: Integrating History in Petri Nets |
van Hee, Kees |
2008 |
88 | 3 |
p. 387-409 |
artikel |
8 gevonden resultaten