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.