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

Volume

4

fYear

1995

fDate

22-25 Oct 1995

Firstpage

3457

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICSMC.1995.538321

Filename

538321