Time window specification and validation with Petri Nets.
Simon Collart DutilleulPascal YimPublished in: ETFA (1) (2003)
Keyphrases
- petri net
- colored petri nets
- state machines
- reactive systems
- petri net model
- sequence diagrams
- manufacturing systems
- discrete event systems
- formal specification
- ims ld
- stochastic petri net
- fuzzy petri net
- process algebra
- service composition
- state machine
- concurrent systems
- formal methods
- neural network
- process model
- programmable logic controller
- business process
- expert systems
- learning environment
- web services
- artificial intelligence