| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals | IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans | 34 | 1997 | |
| 10.1007/978-3-662-47967-4 | 2015 | |||
| Handbook of Logic in Computer Science | 1995 | |||
| 10.1007/3-540-07135-0_113 | ||||
| 10.1007/3-540-61604-7_49 |