Author of the publication

Elements of General Net Theory.

, , and . Advanced Course: Net Theory and Applications, volume 84 of Lecture Notes in Computer Science, page 21-163. Springer, (1979)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Dictionary of Some Basic Notions of Net Theory., and . Advanced Course: Net Theory and Applications, volume 84 of Lecture Notes in Computer Science, page 519-531. Springer, (1979)Formal Verification of an Arbiter Cascade., and . Application and Theory of Petri Nets, volume 616 of Lecture Notes in Computer Science, page 205-223. Springer, (1992)Projections of C/E systems.. Applications and Theory in Petri Nets, volume 222 of Lecture Notes in Computer Science, page 224-232. Springer, (1985)The Calculus of Facts., and . MFCS, volume 45 of Lecture Notes in Computer Science, page 588-595. Springer, (1976)Substitution Systems - A Family of System Models Based on Concurrency., , and . MFCS, volume 88 of Lecture Notes in Computer Science, page 698-723. Springer, (1980)Surveyor's Forum: Net Progress., and . ACM Comput. Surv., 10 (1): 84-85 (1978)Predicate/Transition Nets.. Advances in Petri Nets, volume 254 of Lecture Notes in Computer Science, page 207-247. Springer, (1986)Well-Formed Flow Charts for Concurrent Programming., and . Formal Description of Programming Concepts, page 357-382. North-Holland, (1982)Belästigung der Menschen durch Computer.. GI Jahrestagung, volume 34 of Lecture Notes in Computer Science, page 94-105. Springer, (1975)Executable Petri net models for the analysis of metabolic pathways., , and . STTT, 3 (4): 394-404 (2001)