Liveness and Boundedness Preservations of Sharing Synthesis of Petri Net Based Representation for Embedded Systems.
Chuanliang XiaBin ShenHailin ZhangYigui WangPublished in: Comput. Syst. Sci. Eng. (2018)
Keyphrases
- embedded systems
- low cost
- computing power
- embedded software
- embedded devices
- real time systems
- processing power
- software systems
- resource limited
- safety critical
- real time image processing
- information sharing
- hardware software
- sufficient conditions
- hw sw
- communication technologies
- software engineering
- flash memory
- consumer electronics