In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'99), 12-15 October 1999, Tokyo, Japan, Vol. 1, pages 848-853. 1999.
Abstract: This paper discusses the application of high-level Petri nets to systematic development of parallel and distributes information systems (PDIS) with assured correctness and provable performance characteristics. High-level Petri nets are considered as a model unifying specification, analysis, verification/validation and performance evaluation of PDIS.
Keywords: complex information systems, high-level Petri nets, performance evaluation.