The Hurried Philosophers
Chapter
First Online:
Abstract
The purpose of this case study is to test the expressive and analytic power of languages merging Petri nets and concepts of the Object-Oriented approach. Regarding the expressive power, the main tested features are: - local control: each object plays its own Petri net, without regard to the state of other objects; - dynamic instantiation: while the system is running, new objects may appear and some may disappear; - dynamic binding: the partner of a communication is defined when the communication occurs, and not by the model (or at “compile time”); - inheritance and polymorphism: a class may inherit some features from other classes, and a communication happens according to the actual class of the partner.
Keywords
Operating System Communication Network Local Control Analytic Power Interesting Property
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Download
to read the full chapter text
Copyright information
© Springer-Verlag Berlin Heidelberg 2001