zbMATH — the first resource for mathematics

Schedulability analysis of real time actor systems using coloured Petri nets. (English) Zbl 0976.68569
Agha, Gul A. (ed.) et al., Concurrent object-oriented programming and Petri nets. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 2001, 493-513 (2001).
This paper proposes a modular and real-time actor language which addresses timing predictability through a holistic integration of an application with its operating software, i.e., scheduling algorithm. The actor language fosters a development life cycle where the same concepts and entities migrate unchanged from specification down to design and object-oriented implementation. The paper concentrates on the specification and analysis of distributed real-time systems using Coloured Petri Nets. Both functional and temporal properties can be validated by simulation and occurrence graphs in the context of the Design/CPN tools.
For the entire collection see [Zbl 0976.68544].

68U99 Computing methodologies and applications
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Full Text: Link