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