Login / Signup
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions.
Hermenegilda Macià
Valentín Valero
Fernando Cuartero
M. Carmen Ruiz
Published in:
Fundam. Informaticae (2008)
Keyphrases
</>
linear time temporal logic
databases
data mining
automated deduction
information systems
multi agent
data model
probabilistic model
algebraic structure