Almost ASAP semantics: from timed models to timed implementations.
Martin De WulfLaurent DoyenJean-François RaskinPublished in: Formal Aspects Comput. (2005)
Keyphrases
- petri net
- efficient implementation
- probabilistic model
- business process models
- markov chain
- finite state machines
- semantic information
- computational models
- experimental data
- statistical models
- statistical model
- semantics for logic programs
- mathematical models
- database
- parameter estimation
- model selection
- case study
- data sets