For the most recent entries see the Petri Nets Newsletter.

On Internal and External Characterizations of PTNet Building Block Behaviour.

Baumgarten, B.

In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 340: Advances in Petri Nets 1988, pages 44-61. Springer-Verlag, 1988.

Abstract: Subnets whose relative boundary consists only of transitions, termed building blocks, are used to structure specifications of distributed systems. In this paper the problem is considered to determine the effects of a building block on its possible environments, considering only its internal structure. External equivalence of building blocks allows one to change these components without affecting the behaviour of the environment.

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

Back to the Petri Nets Bibliography