Title :
Applications of high-level Petri nets in systematic development of complex information systems
Author :
Mikolajczak, Boleslaw
Author_Institution :
Dept. of Comput. & Inf. Sci., Massachusetts Univ., Dartmouth, MA, USA
Abstract :
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
Keywords :
Petri nets; information systems; performance evaluation; systems analysis; complex information systems; correctness; high-level Petri nets; performance evaluation; specification; systematic development; validation; verification; Application software; Distributed information systems; Information analysis; Information systems; Information technology; Integrated circuit modeling; Management information systems; Object oriented modeling; Performance analysis; Petri nets;
Conference_Titel :
Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on
Conference_Location :
Tokyo
Print_ISBN :
0-7803-5731-0
DOI :
10.1109/ICSMC.1999.814202
