Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software.
Laura CarnevaliLuigi SassoliEnrico VicarioPublished in: ECRTS (2007)
Keyphrases
- petri net
- development life cycle
- real time
- software development
- life cycle
- embedded real time systems
- discrete event systems
- software quality
- software product
- petri net model
- colored petri nets
- real time systems
- fuzzy petri net
- manufacturing systems
- low cost
- software systems
- control system
- service composition
- embedded systems
- software projects
- software architecture
- test cases
- stochastic petri net
- software testing
- software maintenance
- ims ld
- development process
- knowledge based systems