A Petri Net Based Modelling and Synthesis Technique for Real-Time Systems.

Zebo Peng Anders Törne

Published in: RTS (1993)

Keyphrases

real time systems
real time
distributed systems
embedded systems
mission critical
real time database systems
object oriented programming language
real time embedded
low cost
anytime algorithms
timing constraints
embedded real time systems
knowledge representation