![]() | ![]() |
2002 | ||
---|---|---|
3 | EE | Manfred Droste, R. M. Shortt: From Petri Nets to Automata with Concurrency. Applied Categorical Structures 10(2): 173-191 (2002) |
2001 | ||
2 | EE | Manfred Droste, R. M. Shortt: Continuous Petri Nets and Transition Systems. Unifying Petri Nets 2001: 457-484 |
1992 | ||
1 | Manfred Droste, R. M. Shortt: Bounded Petri nets of finite dimension have only finitely many reachable markings. Bulletin of the EATCS 48: 172-174 (1992) |
1 | Manfred Droste | [1] [2] [3] |