Sciweavers

TCS
2008
13 years 11 months ago
True-concurrency probabilistic models: Markov nets and a law of large numbers
We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics--this means that traces, not firing sequences, are given a...
Samy Abbes, Albert Benveniste