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)

Fingerprint

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.

Engineering & Materials Science

Mathematics