| |
| 1986 | ||
|---|---|---|
| 2 | Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen: Reachability Trees for High-level Petri Nets. Theor. Comput. Sci. 45(3): 261-292 (1986) | |
| 1984 | ||
| 1 | Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen: Towards reachability trees for high-level Petri nets. European Workshop on Applications and Theory in Petri Nets 1984: 215-233 | |
| 1 | Peter Huber | [1] [2] |
| 2 | Kurt Jensen | [1] [2] |
| 3 | Leif O. Jepsen | [1] [2] |