On non-decidability of reachability for timed-arc Petri nets.
Valentín Valero RuizDavid de Frutos-EscrigFernando Cuartero GómezPublished in: PNPM (1999)
Keyphrases
- petri net
- description logics
- petri net model
- high level petri nets
- discrete event systems
- manufacturing systems
- stochastic petri net
- transitive closure
- state space
- colored petri nets
- service composition
- ims ld
- process model
- fuzzy petri net
- neural network
- state machines
- concurrent systems
- expert systems
- decision making