dblp.uni-trier.dewww.uni-trier.de

R. M. Shortt

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
3EEManfred Droste, R. M. Shortt: From Petri Nets to Automata with Concurrency. Applied Categorical Structures 10(2): 173-191 (2002)
2001
2EEManfred 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)

Coauthor Index

1Manfred Droste [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)