Giving Semantics to SA/RT by Means of High-Level Times Petri Nets.
René ElmstrømRaino LintulampiMauro PezzèPublished in: Real Time Syst. (1993)
Keyphrases
- petri net
- high level
- petri net model
- manufacturing systems
- discrete event systems
- semantic information
- state machines
- simulated annealing
- ims ld
- process algebra
- process model
- fuzzy petri net
- colored petri nets
- service composition
- concurrent systems
- logic programs
- logic programming
- stochastic petri net
- hardware and software
- discrete dynamical systems
- neural network
- learning environment
- genetic algorithm