Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. C. André. The behaviour of a Petri net on a subset of transitions. R.A.I.R.O., 17:5–21, 1983.
2. B. Baumgarten. On internal and external characterizations of PT-net building block behaviour. In G. Rozenberg, editor, Advances in Petri Nets 1988, Lect. Notes Comp. Sci. 340, 44–61, 1988.
3. W. Brauer, R. Gold, and W. Vogler. A survey of behaviour and equivalence preserving refinement of petri nets. In G. Rozenberg, editor, Advances in Petri Nets, Lect. Notes Comp. Sci. 483, 1–46, 1991.
4. S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe. A theory of communicating sequential processes. J. ACM, 31:560–599, 1984.
5. S.D. Brookes. A model for communicating sequential processes. Technical Report CMU-CS-83-149, Carnegie-Mellon-Univ., Pittsburgh, 1983.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献