Developing Software Controllers with Petri Nets and a Logic of Actions.
Carlo SimonPublished in: ICRA (2001)
Keyphrases
- petri net
- embedded real time systems
- petri net model
- manufacturing systems
- programmable logic controller
- colored petri nets
- ims ld
- discrete event systems
- service composition
- reactive systems
- concurrent systems
- control system
- computer systems
- modal logic
- software systems
- state machines
- stochastic petri net
- expert systems
- neural network
- process model
- software development
- hardware and software
- data flow
- logic programming
- concurrent processes