For the most recent entries see the
Petri Nets Newsletter
.
Keyword: recursion
Devillers, Raymond
;
Klaudel, Hanna
;
Riemann, Robert-C.
:
General parameterised refinement and recursion for the M-net calculus.
2003.
Koutny, M.
;
Best, E.
:
Operational and denotational semantics for the box algebra.
1999.
Best, Eike
;
Devillers, Raymond
;
Koutny, Maciej
:
The Box Algebra - A Model of Nets and Process Expressions.
1999.
Best, Eike
:
The Box Calculus: a New Causal Algebra with Multi-label Communication.
1992.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography