Title :
Applications of colored Petri nets in analysis and synthesis of distributed computer systems
Author :
Mikolajczak, Boleslaw
Author_Institution :
Dept. of Comput. & Inf. Sci., Massachusetts Univ., North Dartmouth, MA, USA
Abstract :
A special class of high-level Petri nets, called colored Petri nets has been applied to model, analyze, and synthesize a subclass of distributed systems. This is a class of distributed software systems which can be described by recurrences of the dynamic programming problem solving paradigm, also called software systems with distributed artificial intelligence. Such systems are designed and programmed by means of the actor programming paradigm
Keywords :
Petri nets; graph colouring; multiprocessing systems; object-oriented programming; actor programming paradigm; colored Petri nets; distributed artificial intelligence; distributed computer systems; distributed software systems; dynamic programming; high-level Petri nets; Application software; Artificial intelligence; Computational modeling; Concurrent computing; Distributed computing; Dynamic programming; Object oriented modeling; Petri nets; Software systems; Visualization;
Conference_Titel :
Systems, Man and Cybernetics, 1995. Intelligent Systems for the 21st Century., IEEE International Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
0-7803-2559-1
DOI :
10.1109/ICSMC.1995.538321
