Login / Signup

A new Petri net based formalism for specification, design and analysis of real-time systems.

Giorgio BrunoAndrea CastellaI. PavesioMario P. Pescarmona
Published in: RTSS (1993)
Keyphrases
  • real time systems
  • design process
  • case study
  • high level
  • embedded systems
  • real time
  • multi agent systems
  • mobile devices
  • low cost
  • conceptual model
  • real time embedded