For the most recent entries see the Petri Nets Newsletter.

Validation of Parallel Systems Properties.

Bourguet-Rouger, A.

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.

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

Back to the Petri Nets Bibliography