Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2005

AUTHORS

Samy Abbes , Albert Benveniste

ABSTRACT

We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets. This new object is defined for event structures, it is called a branching cell. Our aim is to bring an interpretation of branching cells as a right notion of “local state”, for concurrent systems. We illustrate the above claim through applications to probabilistic concurrent models. In this respect, our results extends in part previous work by Varacca-Völzer-Winskel on probabilistic confusion free event structures. We propose a construction for probabilities over so-called locally finite event structures that makes concurrent processes probabilistically independent—simply attach a dice to each branching cell; dices attached to concurrent branching cells are thrown independently. Furthermore, we provide a true concurrency generalization of Markov chains, called Markov nets. Unlike in existing variants of stochastic Petri nets, our approach randomizes Mazurkiewicz traces, not firing sequences. We show in this context the Law of Large Numbers (LLN), which confirms that branching cells deserve the status of local state. Our study was motivated by the stochastic modeling of fault propagation and alarm correlation in telecommunications networks and services. It provides the foundations for probabilistic diagnosis, as well as the statistical distributed learning of such models. More... »

PAGES

95-109

Book

TITLE

Foundations of Software Science and Computational Structures

ISBN

978-3-540-25388-4
978-3-540-31982-5

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-31982-5_6

DOI

http://dx.doi.org/10.1007/978-3-540-31982-5_6

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1051417327


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0104", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Statistics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires", 
          "id": "https://www.grid.ac/institutes/grid.420225.3", 
          "name": [
            "IRISA, Campus de Beaulieu, 35042, Rennes Cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Abbes", 
        "givenName": "Samy", 
        "id": "sg:person.013071214543.99", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013071214543.99"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires", 
          "id": "https://www.grid.ac/institutes/grid.420225.3", 
          "name": [
            "IRISA, Campus de Beaulieu, 35042, Rennes Cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Benveniste", 
        "givenName": "Albert", 
        "id": "sg:person.011174600625.42", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/s0304-3975(00)00305-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1012865514"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45694-5_25", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1016840242", 
          "https://doi.org/10.1007/3-540-45694-5_25"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45694-5_25", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1016840242", 
          "https://doi.org/10.1007/3-540-45694-5_25"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-45187-7_22", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1024744881", 
          "https://doi.org/10.1007/978-3-540-45187-7_22"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-45187-7_22", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1024744881", 
          "https://doi.org/10.1007/978-3-540-45187-7_22"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-44685-0_13", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1026833134", 
          "https://doi.org/10.1007/3-540-44685-0_13"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-44685-0_13", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1026833134", 
          "https://doi.org/10.1007/3-540-44685-0_13"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-28644-8_31", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1028481668", 
          "https://doi.org/10.1007/978-3-540-28644-8_31"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-28644-8_31", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1028481668", 
          "https://doi.org/10.1007/978-3-540-28644-8_31"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0304-3975(81)90112-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1035972534"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-45187-7_1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1047070728", 
          "https://doi.org/10.1007/978-3-540-45187-7_1"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-45187-7_1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1047070728", 
          "https://doi.org/10.1007/978-3-540-45187-7_1"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4899-0018-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1048839287", 
          "https://doi.org/10.1007/978-1-4899-0018-0"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4899-0018-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1048839287", 
          "https://doi.org/10.1007/978-1-4899-0018-0"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0890-5401(91)90030-6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1051327805"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tac.2003.819076", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061475461"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/cbo9780511526558", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1098786518"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2005", 
    "datePublishedReg": "2005-01-01", 
    "description": "We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets. This new object is defined for event structures, it is called a branching cell. Our aim is to bring an interpretation of branching cells as a right notion of \u201clocal state\u201d, for concurrent systems. We illustrate the above claim through applications to probabilistic concurrent models. In this respect, our results extends in part previous work by Varacca-V\u00f6lzer-Winskel on probabilistic confusion free event structures. We propose a construction for probabilities over so-called locally finite event structures that makes concurrent processes probabilistically independent\u2014simply attach a dice to each branching cell; dices attached to concurrent branching cells are thrown independently. Furthermore, we provide a true concurrency generalization of Markov chains, called Markov nets. Unlike in existing variants of stochastic Petri nets, our approach randomizes Mazurkiewicz traces, not firing sequences. We show in this context the Law of Large Numbers (LLN), which confirms that branching cells deserve the status of local state. Our study was motivated by the stochastic modeling of fault propagation and alarm correlation in telecommunications networks and services. It provides the foundations for probabilistic diagnosis, as well as the statistical distributed learning of such models.", 
    "editor": [
      {
        "familyName": "Sassone", 
        "givenName": "Vladimiro", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-31982-5_6", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-25388-4", 
        "978-3-540-31982-5"
      ], 
      "name": "Foundations of Software Science and Computational Structures", 
      "type": "Book"
    }, 
    "name": "Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications", 
    "pagination": "95-109", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1051417327"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-31982-5_6"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "f4ee5252165ea432dcca7a745c4a1565f602fbf09c7f40ba87928ea784ca335a"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-31982-5_6", 
      "https://app.dimensions.ai/details/publication/pub.1051417327"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T08:40", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000365_0000000365/records_71714_00000001.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F978-3-540-31982-5_6"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-31982-5_6'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-31982-5_6'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-31982-5_6'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-31982-5_6'


 

This table displays all metadata directly associated to this object as RDF triples.

111 TRIPLES      23 PREDICATES      38 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-31982-5_6 schema:about anzsrc-for:01
2 anzsrc-for:0104
3 schema:author Nab50c2cc04df4d60ab8013edfd13aad1
4 schema:citation sg:pub.10.1007/3-540-44685-0_13
5 sg:pub.10.1007/3-540-45694-5_25
6 sg:pub.10.1007/978-1-4899-0018-0
7 sg:pub.10.1007/978-3-540-28644-8_31
8 sg:pub.10.1007/978-3-540-45187-7_1
9 sg:pub.10.1007/978-3-540-45187-7_22
10 https://doi.org/10.1016/0304-3975(81)90112-2
11 https://doi.org/10.1016/0890-5401(91)90030-6
12 https://doi.org/10.1016/s0304-3975(00)00305-4
13 https://doi.org/10.1017/cbo9780511526558
14 https://doi.org/10.1109/tac.2003.819076
15 schema:datePublished 2005
16 schema:datePublishedReg 2005-01-01
17 schema:description We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets. This new object is defined for event structures, it is called a branching cell. Our aim is to bring an interpretation of branching cells as a right notion of “local state”, for concurrent systems. We illustrate the above claim through applications to probabilistic concurrent models. In this respect, our results extends in part previous work by Varacca-Völzer-Winskel on probabilistic confusion free event structures. We propose a construction for probabilities over so-called locally finite event structures that makes concurrent processes probabilistically independent—simply attach a dice to each branching cell; dices attached to concurrent branching cells are thrown independently. Furthermore, we provide a true concurrency generalization of Markov chains, called Markov nets. Unlike in existing variants of stochastic Petri nets, our approach randomizes Mazurkiewicz traces, not firing sequences. We show in this context the Law of Large Numbers (LLN), which confirms that branching cells deserve the status of local state. Our study was motivated by the stochastic modeling of fault propagation and alarm correlation in telecommunications networks and services. It provides the foundations for probabilistic diagnosis, as well as the statistical distributed learning of such models.
18 schema:editor N777e11cebf7648f08cdb2ffe209f3d76
19 schema:genre chapter
20 schema:inLanguage en
21 schema:isAccessibleForFree true
22 schema:isPartOf N4c5351f548594ab2a9b6af3cf0398103
23 schema:name Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications
24 schema:pagination 95-109
25 schema:productId N6ad2c5746b2d47cab6df52d67a7ca1ca
26 Nc6144b2cee5842e288852252813080b9
27 Ncaa2e8e5b4d9402caed35287b205cf79
28 schema:publisher N976ec35233fa4544bc8d2510e4a4627f
29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051417327
30 https://doi.org/10.1007/978-3-540-31982-5_6
31 schema:sdDatePublished 2019-04-16T08:40
32 schema:sdLicense https://scigraph.springernature.com/explorer/license/
33 schema:sdPublisher N5f72d733ad6b48129791ba6bd64b16ec
34 schema:url https://link.springer.com/10.1007%2F978-3-540-31982-5_6
35 sgo:license sg:explorer/license/
36 sgo:sdDataset chapters
37 rdf:type schema:Chapter
38 N01c5f8862bd7425fb42a7cbc82f1b44a schema:familyName Sassone
39 schema:givenName Vladimiro
40 rdf:type schema:Person
41 N4c5351f548594ab2a9b6af3cf0398103 schema:isbn 978-3-540-25388-4
42 978-3-540-31982-5
43 schema:name Foundations of Software Science and Computational Structures
44 rdf:type schema:Book
45 N5f72d733ad6b48129791ba6bd64b16ec schema:name Springer Nature - SN SciGraph project
46 rdf:type schema:Organization
47 N6ad2c5746b2d47cab6df52d67a7ca1ca schema:name dimensions_id
48 schema:value pub.1051417327
49 rdf:type schema:PropertyValue
50 N777e11cebf7648f08cdb2ffe209f3d76 rdf:first N01c5f8862bd7425fb42a7cbc82f1b44a
51 rdf:rest rdf:nil
52 N976ec35233fa4544bc8d2510e4a4627f schema:location Berlin, Heidelberg
53 schema:name Springer Berlin Heidelberg
54 rdf:type schema:Organisation
55 Nab50c2cc04df4d60ab8013edfd13aad1 rdf:first sg:person.013071214543.99
56 rdf:rest Nb3e1bc32cc6543aca0532a084abf40d2
57 Nb3e1bc32cc6543aca0532a084abf40d2 rdf:first sg:person.011174600625.42
58 rdf:rest rdf:nil
59 Nc6144b2cee5842e288852252813080b9 schema:name readcube_id
60 schema:value f4ee5252165ea432dcca7a745c4a1565f602fbf09c7f40ba87928ea784ca335a
61 rdf:type schema:PropertyValue
62 Ncaa2e8e5b4d9402caed35287b205cf79 schema:name doi
63 schema:value 10.1007/978-3-540-31982-5_6
64 rdf:type schema:PropertyValue
65 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
66 schema:name Mathematical Sciences
67 rdf:type schema:DefinedTerm
68 anzsrc-for:0104 schema:inDefinedTermSet anzsrc-for:
69 schema:name Statistics
70 rdf:type schema:DefinedTerm
71 sg:person.011174600625.42 schema:affiliation https://www.grid.ac/institutes/grid.420225.3
72 schema:familyName Benveniste
73 schema:givenName Albert
74 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42
75 rdf:type schema:Person
76 sg:person.013071214543.99 schema:affiliation https://www.grid.ac/institutes/grid.420225.3
77 schema:familyName Abbes
78 schema:givenName Samy
79 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013071214543.99
80 rdf:type schema:Person
81 sg:pub.10.1007/3-540-44685-0_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026833134
82 https://doi.org/10.1007/3-540-44685-0_13
83 rdf:type schema:CreativeWork
84 sg:pub.10.1007/3-540-45694-5_25 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016840242
85 https://doi.org/10.1007/3-540-45694-5_25
86 rdf:type schema:CreativeWork
87 sg:pub.10.1007/978-1-4899-0018-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048839287
88 https://doi.org/10.1007/978-1-4899-0018-0
89 rdf:type schema:CreativeWork
90 sg:pub.10.1007/978-3-540-28644-8_31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028481668
91 https://doi.org/10.1007/978-3-540-28644-8_31
92 rdf:type schema:CreativeWork
93 sg:pub.10.1007/978-3-540-45187-7_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047070728
94 https://doi.org/10.1007/978-3-540-45187-7_1
95 rdf:type schema:CreativeWork
96 sg:pub.10.1007/978-3-540-45187-7_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024744881
97 https://doi.org/10.1007/978-3-540-45187-7_22
98 rdf:type schema:CreativeWork
99 https://doi.org/10.1016/0304-3975(81)90112-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035972534
100 rdf:type schema:CreativeWork
101 https://doi.org/10.1016/0890-5401(91)90030-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051327805
102 rdf:type schema:CreativeWork
103 https://doi.org/10.1016/s0304-3975(00)00305-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012865514
104 rdf:type schema:CreativeWork
105 https://doi.org/10.1017/cbo9780511526558 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098786518
106 rdf:type schema:CreativeWork
107 https://doi.org/10.1109/tac.2003.819076 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061475461
108 rdf:type schema:CreativeWork
109 https://www.grid.ac/institutes/grid.420225.3 schema:alternateName Institut de Recherche en Informatique et Systèmes Aléatoires
110 schema:name IRISA, Campus de Beaulieu, 35042, Rennes Cedex, France
111 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...