In: Proceedings of the 11th International Conference on Application and Theory of Petri Nets, 1990, Paris, France. 1990.
Abstract: In this paper, the author defines Deterministic Systems of Sequential Processes (DSSP), a class of Petri nets which generalise those introduced by Reisig in 1979. The author's first aim is to give efficient and formal methods for the validation of a class of systems of sequential processes cooperating by messages passing and resources sharing. The second aim is to show that the modular structure of DSSP's allows one to fully use compositions of nets in the specification and validation steps of the parallel applications described through DSSP's. This work is a contribution to the new approach aiming at validating systems in a modular way.
Keywords: deterministic system (of) sequential processes; modular system validation; messages passing; resource sharing; net composition; parallel application.