Sign in

Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints.

Ermeson C. AndradePaulo Romero Martins MacielGustavo Rau de Almeida CallouBruno Costa e Silva Nogueira
Published in: CIMCA/IAWTIC/ISE (2008)
Keyphrases
  • petri net
  • embedded real time systems
  • colored petri nets
  • petri net model
  • formal methods
  • real time
  • data analysis
  • software systems
  • embedded systems
  • real time systems
  • stochastic petri net