A probabilistic language formalism for stochastic discrete-event systems.
Vijay Kumar GargRatnesh KumarSteven I. MarcusPublished in: IEEE Trans. Autom. Control. (1999)
Keyphrases
- discrete event systems
- timed petri nets
- petri net
- discrete event
- stochastic context free grammars
- complex systems
- telecommunication networks
- model based diagnosis
- conceptual graphs
- failure diagnosis
- operational semantics
- formal language
- logical language
- representation language
- programming language
- highly expressive
- formal theory
- bayesian networks
- probabilistic reasoning
- temporal constraints
- probabilistic model
- dynamic systems
- simulation model
- action language
- database
- knowledge representation
- search algorithm
- object oriented
- relational databases
- natural language