For the most recent entries see the
Petri Nets Newsletter.
Specification and Verification of Distributed Systems Using PROLOG Interpreted Petri Nets.
Azéma, P.;
Juanole, G.;
Sanchis, E.;
Montbernard, M.
In:
7th International Conference on Software Engineering, Orlando, USA, 1984, pages 510-518.
IEEE,
1984.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography