A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes.
Eduardo TavaresPaulo Romero Martins MacielArthur BessaRaimundo S. BarretoLeonardo BarrosMeuse N. Oliveira Jr.Ricardo Massa Ferreira LimaPublished in: SBCCI (2005)
Keyphrases
- petri net
- embedded real time systems
- embedded systems
- petri net model
- software systems
- discrete event systems
- manufacturing systems
- computer systems
- ims ld
- real time systems
- high level petri nets
- stochastic petri net
- source code
- neural network
- reactive systems
- colored petri nets
- concurrent systems
- web service composition
- story generation
- software components
- natural language