Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. LNCS 107;J.D. Brock,1981
2. Broy, M.: Nondeterministic data flow programs: how to avoid the merge anomaly. Science of Computer Programming 10, pp. 65–85 (1988)
3. Brauer, W.; Reisig, W.; Rozenberg, G. (eds.): Petri nets: central models and their properties. LNCS 254, Springer (1987)
4. Broy, M.; Streicher, T.: Modular functional modelling of Petri nets with individual tokens. TU München, Inst. für Informatik, Report No. TUM-19035 (1990)
5. Gold, R.: Dataflow semantics for Petri nets. TU München, Inst. für Informatik, Report No. TUM-I9107 (1991)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A fully abstract semantics for termination in Petri nets;Mathematical Foundations of Computer Science 1994;1994