Management and control of information flow in CIM systems using UML and Petri nets.
Chang-Pin LinLi-Der JengYi-Ping LinMuDer JengPublished in: Int. J. Comput. Integr. Manuf. (2005)
Keyphrases
- petri net
- information flow
- reactive systems
- discrete event systems
- formal methods
- manufacturing systems
- sequence diagrams
- embedded real time systems
- petri net model
- fuzzy petri net
- programmable logic controller
- software systems
- control system
- distributed systems
- information flows
- software engineering
- embedded systems
- decision making
- colored petri nets
- control strategy
- hardware and software
- artificial intelligence
- communication networks
- network structure
- computer systems
- knowledge management
- supply chain
- information systems
- social networks