Taming confusion for modeling and implementing probabilistic concurrent systems
| Autor: | Katoen, Joost P., Peled, Doron, Felleisen, Matthias, Gardner, Philippa |
|---|---|
| Rok vydání: | 2013 |
| Předmět: |
Structure (mathematical logic)
EWI-23248 Computer science Distributed computing Concurrency METIS-296392 Probabilistic logic Petri net Nondeterministic algorithm medicine EC Grant Agreement nr.: FP7/2007-2013 Markov decision process Mutual exclusion EC Grant Agreement nr.: FP7/318490 medicine.symptom EC Grant Agreement nr.: FP7/295261 IR-85506 Confusion |
| Zdroj: | Proceedings of the 22nd European Symposium on Programming (ESOP 2013), 411-430 STARTPAGE=411;ENDPAGE=430;TITLE=Proceedings of the 22nd European Symposium on Programming (ESOP 2013) Programming Languages and Systems ISBN: 9783642370359 ESOP |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-642-37036-6_23 |
| Popis: | In concurrent systems, the choice of executing the next transition depends both on the timing between the agents that make independent or collaborative interactions available, and on the conflicts (nondeterministic choices) with other transitions. This creates a challenging modeling and implementation problem. When the system needs to make also probabilistic choices, the situation becomes even more complicated. We use the model of Petri nets to demonstrate the modeling and implementation problem. The proposed solution involves adding sequential observers called agents to the Petri net structure. Distributed probabilistic choices are facilitated in the presence of concurrency and nondeterminism, by selecting agents that make the choices, while guaranteeing that their view is temporarily stable. We provide a distributed scheduling algorithm for implementing a system that allows distributed probabilistic choice. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|