DocumentCode
349662
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
Volume
1
fYear
1999
fDate
1999
Firstpage
848
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1999. IEEE SMC '99 Conference Proceedings. 1999 IEEE International Conference on
Conference_Location
Tokyo
ISSN
1062-922X
Print_ISBN
0-7803-5731-0
Type
conf
DOI
10.1109/ICSMC.1999.814202
Filename
814202
Link To Document