Modeling, verification, and implementation of PLC program using timed-MPSG.
Devinder ThapaSang C. ParkChang Mok ParkGi-Nam WangPublished in: SCSC (2007)
Keyphrases
- colored petri nets
- petri net
- programmable logic controller
- efficient implementation
- hardware and software
- computer programs
- finite state machines
- java bytecode
- symbolic execution
- program execution
- implementation issues
- implementation details
- modeling method
- data sets
- modeling language
- control system
- web services
- social networks
- data mining