On Proving Large Distributed Systems: Petri Net Modules Verification
by Irina A.Lomazova
Abstract:
In this paper we present a formal basis for validating large distributed systems. Distributed systems are described by composition of coloured Petri-Net = modules. Compositional proof technique for such systems, where properties are = specified in terms of a linear time temporal logic, is proposed.
Keywords: theory
Source:
I.A. Lomazova, On Proving Large Distributed Systems: Petri Net Modules Verification. In V. Malyshkin (ed.),
Parallel Computing Technologies: Proceedings of the 4th International Conference,
Lect. Notes in Comp. Sci., Vol. 1277, Springer, 1997, pp. 70-75