Add to ORKGSIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 22588, issue : a.2004 n.1651 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc
Theme 1 - Reseaux et systemes - Projet ParagrapheSIGLEAvailable from INIST (FR), Document Supply Ser...
Probabilistic automata (PAs) constitute a general framework for modeling and an- alyzing discrete ev...
Starting from a point at the center, each branch splits into two with a certain probability. Branchi...
We study the concept of choice for true concurrency models such as prime event structures and safe P...
International audienceThis paper is devoted to probabilistic models for concurrent systems under the...
SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.200...
AbstractThis paper is devoted to probabilistic models for concurrent systems under their true-concur...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1991 ...
Theme 4 - Simulation et optimisation de systemes complexes - Projet Sigma2SIGLEAvailable from INIST ...
Theme 4 - Simulation et optimisation de systemes complexes - Projets SIGMA2SIGLEAvailable from INIST...
27 pages. Part of a submission with co-authors.We introduce branching cells for Asymmetric Event Str...
In this work we provide a survey on the main probabilistic contributions derived in the literature f...
Contains fulltext : 36024.pdf (Publisher’s version ) (Closed access
International audienceWe introduce the model of Markov nets, a probabilistic extension of safe Petri...
We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-c...
Theme 1 - Reseaux et systemes - Projet ParagrapheSIGLEAvailable from INIST (FR), Document Supply Ser...
Probabilistic automata (PAs) constitute a general framework for modeling and an- alyzing discrete ev...
Starting from a point at the center, each branch splits into two with a certain probability. Branchi...
We study the concept of choice for true concurrency models such as prime event structures and safe P...
International audienceThis paper is devoted to probabilistic models for concurrent systems under the...
SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.200...
AbstractThis paper is devoted to probabilistic models for concurrent systems under their true-concur...
SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1991 ...
Theme 4 - Simulation et optimisation de systemes complexes - Projet Sigma2SIGLEAvailable from INIST ...
Theme 4 - Simulation et optimisation de systemes complexes - Projets SIGMA2SIGLEAvailable from INIST...
27 pages. Part of a submission with co-authors.We introduce branching cells for Asymmetric Event Str...
In this work we provide a survey on the main probabilistic contributions derived in the literature f...
Contains fulltext : 36024.pdf (Publisher’s version ) (Closed access
International audienceWe introduce the model of Markov nets, a probabilistic extension of safe Petri...
We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-c...
Theme 1 - Reseaux et systemes - Projet ParagrapheSIGLEAvailable from INIST (FR), Document Supply Ser...
Probabilistic automata (PAs) constitute a general framework for modeling and an- alyzing discrete ev...
Starting from a point at the center, each branch splits into two with a certain probability. Branchi...