In: Lecture Notes in Computer Science, Vol. 1091; Proc. 17th International Conference in Application and Theory of Petri Nets (ICATPN'96), Osaka, Japan, pages 420-439. Springer-Verlag, June 1996.
Abstract: The work described in this paper is concerned with modeling and analyzing distributed object-oriented real time (RT) systems, developed according to DART - Distributed Architecture for Real Time - which provides an object-oriented life cycle for RT systems. The paper first gives an overview of DART, then discusses the usefulness of mapping DART systems onto high level Petri nets as part of an iterative design process. The resultant framework is a modular operational model, based on a powerful Petri nets tool which delivers both the user-interface utilized for animation purposes and a set of mechanisms suited for the analysis of time-dependent behavior.
Keywords: real time; scheduling analysis; distributed systems; object-orientation Petri nets; animation; executable specifications.