For the most recent entries see the
Petri Nets Newsletter
.
Keyword: petri box
Devillers, Raymond
;
Klaudel, Hanna
;
Riemann, Robert-C.
:
General parameterised refinement and recursion for the M-net calculus.
2003.
Best, Eike
:
The Petri Box Calculus for Concurrent Programs.
1991.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography