Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. II. Design and implementation.
Klaus FeldmannArmando Walter ColomboC. SchnurThomas StöckelPublished in: IEEE Trans. Control. Syst. Technol. (1999)
Keyphrases
- efficient implementation
- high level
- future development
- software architecture
- parallel distributed
- design decisions
- implementation issues
- micron cmos
- highly modular
- hardware architecture
- platform independent
- architectural design
- formal verification
- rapid prototyping
- design principles
- conceptual model
- software development
- user interface