Applications of high-level Petri nets in systematic development of complex information systems

In this paper we address the following problem: how to apply high-level Petri nets in systematic development of parallel and distributed information systems (PDIS) to assure correctness and provable performance characteristics. We consider high-level Petri nets as a model unifying specification, analysis, verification/validation, and performance evaluation of PDIS.