|
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 | Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory |
Kalenkova, Anna |
|
183 | 3-4 |
p. 293-317 |
artikel |
|
| 2 | Inferring Unobserved Events in Systems with Shared Resources and Queues |
Fahland, Dirk |
|
183 | 3-4 |
p. 203-242 |
artikel |
|
| 3 | On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words |
Finkel, Olivier |
|
183 | 3-4 |
p. 243-291 |
artikel |
|
| 4 | Piecewise Affine Dynamical Models of Petri Nets – Application to Emergency Call Centers* |
Allamigeon, Xavier |
|
183 | 3-4 |
p. 169-201 |
artikel |
|
| 5 | Preface |
Janicki, Ryszard |
|
183 | 3-4 |
p. i-ii |
artikel |
|
| 6 | Symbolic and Structural Model-Checking |
Thierry-Mieg, Yann |
|
183 | 3-4 |
p. 319-342 |
artikel |
6 gevonden resultaten