Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. E.Best, R.Devillers, J.Esparza: General Refinement and Recursion Operators for the Petri Box Calculus. Springer-Verlag, Lecture Notes in Computer Science Vol. 665, 130–140 (1993).
2. E.Best, R.Devillers, J.Hall: The Petri Box Calculus: a New Causal Algebra with Multilabel Communication. Advances in Petri Nets 1992, G.Rozenberg (ed.), Springer-Verlag, Lecture Notes in Computer Science Vol. 609, 21–69 (1992).
3. E.Best, H.Fleischhack, W.Fraczak, R.P.Hopkins, H.Klaudel, E.Pelz: An M-net Semantics of B(PN) 2. Proc. of STRICT'95 (1995).
4. E.Best, R.P.Hopkins: B(PN)2 — a Basic Petri Net Programmming Notation. Proc. of PARLE'93, Springer-Verlag, Lecture Notes in Computer Science Vol. 694, 379–390 (1993).
5. E.Best, M.Koutny: Solving Recursive Net Equations. Proc. of ICALP-95, Springer-Verlag, Lecture Notes in Computer Science (1995).
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献