For the most recent entries see the Petri Nets Newsletter.

A Petri Net Entity as a Formal Model for LOTOS - A Specification Language for Distributed and Concurrent Systems.

Anisimov, N.A.

In: Mirenkov, N.: Parallel Computing Technologies, pages 440-449. World Scientific, 1991.

Keywords: protocols, specification, compositionality, alternating bit protocol.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography