Modelling, prototyping, and verifying concurrent and distributed applications using object‐oriented Petri nets
Abstract
This paper presents several research issues associated with the PNtalk language that is based on a certain kind of object‐oriented Petri nets (OOPNs) and intended mainly for modelling, prototyping, and verifying concurrent and distributed applications. The paper reviews the main concepts of PNtalk and OOPNs followed by a proposal of a system allowing prototypes based on PNtalk to be run in a distributed way. Furthermore, the first step made towards state spaces‐based formal analysis and verification over PNtalk OOPNs are also briefly mentioned in the paper.
Keywords
Citation
Češka, M., Janoušek, V. and Vojnar, T. (2002), "Modelling, prototyping, and verifying concurrent and distributed applications using object‐oriented Petri nets", Kybernetes, Vol. 31 No. 9/10, pp. 1289-1299. https://doi.org/10.1108/03684920210443491
Publisher
:MCB UP Ltd
Copyright © 2002, MCB UP Limited