In: Proceedings of the 12th International Conference on Application and Theory of Petri Nets, 1991, Gjern, Denmark, pages 62-81. June 1991.
Abstract: The author defines deterministic systems of sequential processes (DSSP), a classs of Petri nets. Efficient and formal methods are given for the validation of a class of systems of sequential processes cooperating by message passing and resource sharing. It is shown that the modular structure of DSSPs allow to fully use compositions of nets in the specification and validation steps of the parallel applications described through DSSPs. A non-costly method of liveness validation is given. Finally, it is shown the the liveness of a DSSP is monotinic, and that the minimal resources configurations insuring the liveness are computable.
Keywords: deterministic systems (of) sequential processes, validation; structured net; message passing; resource sharing; modular structure; net composition; parallel application; liveness validation; computability (of) liveness insuring (minimal) resources configurations.