Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets.
Pao-Ann HsiungChuen-Hau GaoPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- petri net
- embedded software
- sequence diagrams
- real time
- petri net model
- discrete event systems
- software architecture
- manufacturing systems
- fuzzy petri net
- development projects
- embedded systems
- stochastic petri net
- colored petri nets
- low cost
- intermediate representation
- process model
- distributed systems
- open source
- case study