A Time Petri Net-Based Approach for Software Synthesis Considering Overheads.
Raimundo S. BarretoEduardo TavaresPaulo Romero Martins MacielMeuse N. Oliveira Jr.Leonardo AmorimRicardo Massa Ferreira LimaCesar CarvalhoCarlos MelloPublished in: SBAC-PAD (2005)
Keyphrases
- petri net
- manufacturing systems
- petri net model
- embedded real time systems
- discrete event systems
- high level petri nets
- colored petri nets
- fuzzy petri net
- ims ld
- web service composition
- software systems
- source code
- service composition
- process model
- software development
- reactive systems
- software architecture
- story generation
- computer systems
- stochastic petri net
- software components
- service oriented
- neural network