Author:
Desel Jörg,Esparza Javier
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. T. van Aardenne-Ehrenfest and N.G. de Bruijn: Circuits and Trees in Oriented Linear Graphs, Simon Stevin 28, 203–217 (1951).
2. E. Best and J. Desel: Partial Order Behaviour and Structure of Petri Nets. Formal Aspects of Computing Vol. 2 No.2, 123–138 (1990).
3. E. Best and J. Esparza: Model Checking of Persistent Petri Nets. Computer Science Logic 91, E. Börger, G. Jäger, H. Kleine Büning and M.M. Richter (eds.), LNCS 626, 35–53 (1992).
4. E. Best and P.S. Thiagarajan: Some Classes of Live and Save Petri Nets. Concurrency, K. and Nets K., Voss H.J., Genrich G., Rozenberg G. (eds.), Advances in Petri Nets. — Berlin: Springer-Verlag, 71–94 (1987).
5. E. Best and K. Voss: Free Choice Systems have Home States. Acta Informatica 21, 89–100 (1984).
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献