For the most recent entries see the Petri Nets Newsletter.

A Compositional Petri Net Semantics for SDL.

Fleischhack, Hans; Grahlmann, Bernd

In: Desel, J.; Silva, M.: Lecture Notes in Computer Science, Vol. 1420: 19th Int. Conf. on Application and Theory of Petri Nets, ICATPN'98, Lisbon, Portugal, June 1998, pages 144-164. Berlin: Springer-Verlag, June 1998.

Abstract: In this paper a compositional high-level Petri net semantics for SDL (Specification and Description Language) is presented. Emphasis is laid on the modelling of dynamic creation and termination of processes and of procedures - features, which are, for instance, essential for typical client-server systems. In a preliminary paper we have already shown that we are able to use 'state of the art` verification techniques by basing our approach on M-nets (an algebra of high-level Petri nets). Therefore, this paper concentrates on the details of the semantics. A distinctive feature o the presented solution is that the 'infinite case` (infinitely many concurrent process and procedure instances as well as unbounded capacities of input queues and channels) is covered.

Keywords: ARQ protocol; Compositionality; Concurrency; Dynamic Processes; Infinity; Petri Net Semantics; Procedures; SDL.

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

Back to the Petri Nets Bibliography