This paper addresses the problem of designing communication protocols within the Petri net approach. Some recent results in combining Petri nets and compositionality are presented, and we argue that it should be possible to exploit these for protocol engineering. We outline a systematic approach to the design of protocol systems. At the top level, we use Petri net entities together with a set of operations. The external behaviour of entities is characterised using the notion of a bisimulation equivalence. At a lower level of design, we show how entities can be constructed from protocol procedures using suitable composition rules. The relationship between syntactic and behavioural notions of compositionality is also discussed.

No abstract

This paper addresses the problem of application Petri nets to real-world parallel and distributed systems of industrial size. It is pointed out that in many cases a well-known hierarchylrefinement technique technique does not work perfectly. We suggest another solution based on an algebraic approach to Petri net representation. T w o levels of compositionality are introduced. The first one, algebraic level offers to a designer a set of net operations which allow to to buld complex Petri nets from simpler ones. These are: operations of sequential and parallel composition, chioce, iteration, and disruption defined on the top of two auxiliary operations of synchronization. The second architectural level allows user to manpulate with Petri net entities, where the entity is defined to be a Petri net equipped with access points. Operations of entity composition through the access points are introduced. The suggested technique is demonstrated on three-level Petri net editor comprising basic, algebraic and architectural editors. 0-7803-21 14-6/94/$4.00 0 1994 IEEE.

In this paper we p r e pose a compositional Petri net model, called CoPN, for multimedia synchronization specifications. The salient features of this model, including macroplaces and PIV entities, are presented and the application of the CoPN model to multimedia synchrcnization specification is discussed via some simple examples. This compositional approach enables the compact and readable specification of complex, large-scale specifications while preserving the fine granularity as well as supporting user interactions.

No abstract