In: Chiricozzi, E.; D'Amico, A.: Parallel Processing and Applications, Proceedings of the International Conference, pages 383-390. Amsterdam, The Netherlands: North-Holland, 1988.
Abstract: The authors present a Petri net method for validation of parallel and distributed systems protocols. Starting from Petri net models of the protocol and the service, the authors construct a new Petri net model by merging them, and this new model allows to check if the protocol disturbs the service and conversely. The main interests of the method are that it can be applied to complex service specifications and that it clearly locates anomalies.