On the Synthesis of a Controllable Supervisor for Discrete Processes Modeled by Temporal Petri Nets.
Simona Iuliana CaramihaiH. AllaPublished in: ICRA (1998)
Keyphrases
- petri net
- process model
- discrete event systems
- concurrent processes
- petri net model
- colored petri nets
- manufacturing systems
- temporal information
- fuzzy petri net
- ims ld
- temporal constraints
- service composition
- temporal reasoning
- state machines
- stochastic petri net
- workflow process
- artificial intelligence
- programmable logic controller
- discrete dynamical systems
- workflow models
- hardware and software
- cellular automata
- distributed systems
- natural language