Petri net-based object-oriented modelling of distributed systems

摘要: This paper presents an object-oriented approach for building distributed systems. An example taken from the field of computer integrated manufacturing systems is as a guideline. According to this system built up through three steps: control and synchronization aspects each class objects are treated first using PROT nets, which high-level extension Petri nets; then data introduced specifying internal states well messages they send other; finally connections between by means flow diagram classes. The implementation uses ADA target language, exploiting its tasking structuring mechanisms. flexibility possibility knowledge-based user interface promote rapid prototyping reusability.