|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis |
Devillers, Raymond |
|
183 | 1-2 |
p. 1-31 |
artikel |
|
| 2 | Cost Problems for Parametric Time Petri Nets* |
Lime, Didier |
|
183 | 1-2 |
p. 97-123 |
artikel |
|
| 3 | Coverability, Termination, and Finiteness in Recursive Petri Nets |
Finkel, Alain |
|
183 | 1-2 |
p. 33-66 |
artikel |
|
| 4 | Investigating Reversibility of Steps in Petri Nets |
de Frutos Escrig, David |
|
183 | 1-2 |
p. 67-96 |
artikel |
|
| 5 | Preface |
Donatelli, Susanna |
|
183 | 1-2 |
p. v-vi |
artikel |
|
| 6 | The Complexity of Synthesis of b-Bounded Petri Nets |
Tredup, Ronny |
|
183 | 1-2 |
p. 125-167 |
artikel |
6 gevonden resultaten