For the most recent entries see the
Petri Nets Newsletter.
A systematic approach to the Petri Net based specification of concurrent systems.
Mazzeo, A.;
Mazzocca, N.;
Russo, S.;
Vittorini, V.
In:
Real Time Systems, pages 219-236.
November 1997.
Keywords:
formal methods; CSP; traces; Petri Nets.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography