Applications of colored Petri nets in analysis and synthesis of distributed computer systems

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.