A Methodology for Mapping SysML Activity Diagram to Time Petri Net for Requirement Validation of Embedded Real-Time Systems with Energy Constraints.
Ermeson Carneiro de AndradePaulo Romero Martins MacielGustavo Rau de Almeida CallouBruno Costa e Silva NogueiraPublished in: ICDS (2009)
Keyphrases
- petri net
- embedded real time systems
- petri net model
- embedded systems
- colored petri nets
- fuzzy petri net
- web service composition
- real time
- commercial software
- state machines
- process model
- service composition
- real time systems
- energy consumption
- formal methods
- modeling language
- ims ld
- story generation
- wireless sensor networks
- stochastic petri net
- artificial intelligence