Giving semantics to SA/RT by means of high-level timed Petri nets

René Elmstrøm, Raino Lintulampi, Mauro Pezzé

Research output: Contribution to journalArticleScientificpeer-review

28 Citations (Scopus)


In the IPTES project a dual language approach is proposed for overcoming both the problems derived from the use of a user-friendly, high-level, but not-formally-defined language and from a lower-level, formal, but difficult-to-use language. The approach uses a user-friendly, high-level language as user interface and a lower-level, formal language asmachine language. In this way the users can both access the IPTES environment through a nice interface and can profit from non-ambiguity-checks and proofs algorithms based on the formal kernel machine language. The correspondence between the two languages is built-in in the IPTES environment that provides a transparent mapping mechanism that relates the users specifications expressed by means of the high-level interface-language with the formal definitions expressed in the formal machine language.

This paper presents the mapping mechanism that relates the current IPTES user interface (SA/RT (Ward and Mellor 1985)) with the IPTES machine language (high-level timed Petri nets (Ghezzi, Mandrioli, Morasca and Pezzé 1991)). As a side effect, it also presents the formal semantics of SA/RT defined by means of high-level timed Petri nets.

Original languageEnglish
Pages (from-to)249-271
JournalReal-Time Systems
Issue number2-3
Publication statusPublished - 1993
MoE publication typeA1 Journal article-refereed


Dive into the research topics of 'Giving semantics to SA/RT by means of high-level timed Petri nets'. Together they form a unique fingerprint.

Cite this