For the most recent entries see the Petri Nets Newsletter.

A Notion of Petri Net Entity for Communication Protocol Design.

Anisimov, Nikolay A.

Vladivostoc, USSR: Institute for Automation and Control Processes, 1989.

Abstract: This paper discusses a formal model that is intended to support a modular approach to the design and verification of concurrent systems. A new notion of entity is introduced which is defined as Petri net together with a set of labellings, with each labelling treated as an access point designed for communication with other entities or for observation of the behaviour of an entity itself. Operations on entities, such as parallel composition, abstraction, encapsulation and autocomposition, are defined.

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

Back to the Petri Nets Bibliography