Petri nets based proofs of Ada 95 solution for preference control.
Kamel BarkaouiClaude KaiserJean-François Pradat-PeyrePublished in: APSEC (1997)
Keyphrases
- petri net
- programmable logic controller
- manufacturing systems
- petri net model
- colored petri nets
- discrete event systems
- fuzzy petri net
- service composition
- control method
- neural network
- control strategy
- control system
- stochastic petri net
- hardware and software
- ims ld
- service oriented
- sequence diagrams
- state machines
- mathematical model
- concurrent systems
- collaborative learning
- genetic algorithm