For the most recent entries see the Petri Nets Newsletter.

Towards a Theory of Simulation for Verification of Concurrent Systems.

Janicki, R.; Koutny, M.

In: Odijk, E.: Lecture Notes in Computer Science, Vol. 366; PARLE'89, Vol. 2: Proceedings of the Conference on Parallel Architectures and Languages Europe, pages 73-88. Berlin: Springer, 1989.

Abstract: The authors investigate whether it is possible to provide the designer of a concurrent system with a sound and efficient simulation technique. They introduce the notion of a simualtion defined as a subset of the possible execution paths, and demonstrate that under some conditions the simulation provides a sufficient information to reason about a number of interesting properties of the system. They then show that there always exists a simulation which provides the required behavioural information and involves a minimal computational effort.

Keywords: simulation; verification; execution path; minimal computational effort.


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

Back to the Petri Nets Bibliography