Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics.
José Antonio MateoJirí SrbaMathias Grund SørensenPublished in: Fundam. Informaticae (2015)
Keyphrases
- petri net
- markov processes
- markov chain
- control flow
- finite number
- formal semantics
- semantic information
- optimal control
- discrete geometry
- business process
- knowledge base
- workflow management systems
- dynamical systems
- logic programming
- knowledge representation
- database
- conceptual model
- data flow
- state space
- markov process
- discrete space
- timed automata