Author:
Genrich Hartmann J.,Lautenbach Kurt
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Dijkstra, E.W.: A Discipline of Programming Prentice Hall, Inc. Englewood Cliffs, N.J. (1976)
2. Genrich, H.J.; Lautenbach, K.: Synchronisationsgraphen Acta Informatica 2, 143–161 (1973)
3. Genrich, H.J.; Lautenbach, K.: The Formulation and Implementation of Facts in Place/Transition-Nets ISF-Report (to appear), Gesellschaft für Mathematik und Datenverarbeitung Bonn (1978)
4. Genrich, H.J.; Thieler-Mevissen, G.: The Calculus of Facts in: MFCS '76, Lecture Notes in C.S. 45 (1976)
5. Lautenbach, K.: Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri-Netzen Bericht Nr. 82 der Gesellschaft für Mathematik und Datenverarbeitung Bonn (1973)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On interleaving behaviour of PT-nets;Theoretical Computer Science;1989-04
2. Integritätsbewahrendes Prototyping von verteilten Systemen;GI — 19. Jahrestagung I;1989
3. Risk Decision making with Heuristic Procedures;IFAC Proceedings Volumes;1987-07
4. SYNTHESIS OF WELL BEHAVED SYNCHRONIZED PROCESSES;Software for Computer Control 1986;1987
5. Nets in data bases;Petri Nets: Applications and Relationships to Other Models of Concurrency;1987