A Refined View of the Box Algebra
暂无分享,去创建一个
[1] E. R. Olderog,et al. Nets, Terms and Formulas: PROCESS TERMS , 1991 .
[2] Raymond R. Devillers. S-invariant analysis of general recursive Petri boxes , 1995 .
[3] Maciej Koutny,et al. Operational Semantics for the Petri Box Calculus , 1994, CONCUR.
[4] Maciej Koutny,et al. Solving Recursive Net Equations , 1995, ICALP.
[5] James L. Peterson,et al. Petri Nets , 1977, CSUR.
[6] Richard P. Hopkins,et al. B(PN)2 - a Basic Petri Net Programming Notation , 1993, PARLE.
[7] Ursula Goltz,et al. Refinement of Actions in Causality Based Models , 1990, REX Workshop.
[8] Raymond R. Devillers,et al. General Refinement and Recursion Operators for the Petri Box Calculus , 1993, STACS.
[9] Hanna Klaudel,et al. An M-net Semantics of B(PN)2 , 1995, STRICT.
[10] Wolfgang Reisig,et al. Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.
[11] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.