On the Construction of Pullbacks for Safe Petri Nets View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2006

AUTHORS

Eric Fabre

ABSTRACT

The product of safe Petri nets is a well known operation : it generalizes to concurrent systems the usual synchronous product of automata. In this paper, we consider a more general way of combining nets, called a pullback. The pullback operation generalizes the product to nets which interact both by synchronized transitions and/or by a shared sub-net (i.e. shared places and transitions). To obtain all pullbacks, we actually show that all equalizers can be defined in the category of safe nets. Combined to the known existence of products in this category, this gives more than what we need : we actually obtain that all small limits exist, i.e. that safe nets form a complete category. More... »

PAGES

166-180

Book

TITLE

Petri Nets and Other Models of Concurrency - ICATPN 2006

ISBN

978-3-540-34699-9
978-3-540-34700-2

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/11767589_10

DOI

http://dx.doi.org/10.1007/11767589_10

DIMENSIONS

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


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/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Rennes 1", 
          "id": "https://www.grid.ac/institutes/grid.410368.8", 
          "name": [
            "IRISA/INRIA, Campus de Beaulieu, 35042 cedex, Rennes, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Fabre", 
        "givenName": "Eric", 
        "id": "sg:person.011362250353.22", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011362250353.22"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/978-1-4612-9839-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1005546755", 
          "https://doi.org/10.1007/978-1-4612-9839-7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4612-9839-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1005546755", 
          "https://doi.org/10.1007/978-1-4612-9839-7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-15670-4_12", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1005749967", 
          "https://doi.org/10.1007/3-540-15670-4_12"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0304-3975(95)00122-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1007481645"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0890-5401(87)90032-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1010757447"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-63166-6_35", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1012820444", 
          "https://doi.org/10.1007/3-540-63166-6_35"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s10626-006-0001-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1020714989", 
          "https://doi.org/10.1007/s10626-006-0001-0"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s10626-006-0001-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1020714989", 
          "https://doi.org/10.1007/s10626-006-0001-0"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s10626-005-5238-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1022113780", 
          "https://doi.org/10.1007/s10626-005-5238-5"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s10626-005-5238-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1022113780", 
          "https://doi.org/10.1007/s10626-005-5238-5"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-12920-0_13", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1023917668", 
          "https://doi.org/10.1007/3-540-12920-0_13"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0167-6423(94)00019-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1050524986"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-44919-1_12", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1050792658", 
          "https://doi.org/10.1007/3-540-44919-1_12"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-44919-1_12", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1050792658", 
          "https://doi.org/10.1007/3-540-44919-1_12"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tac.2003.811249", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061475291"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/cdc.2005.1583176", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094184955"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2006", 
    "datePublishedReg": "2006-01-01", 
    "description": "The product of safe Petri nets is a well known operation : it generalizes to concurrent systems the usual synchronous product of automata. In this paper, we consider a more general way of combining nets, called a pullback. The pullback operation generalizes the product to nets which interact both by synchronized transitions and/or by a shared sub-net (i.e. shared places and transitions). To obtain all pullbacks, we actually show that all equalizers can be defined in the category of safe nets. Combined to the known existence of products in this category, this gives more than what we need : we actually obtain that all small limits exist, i.e. that safe nets form a complete category.", 
    "editor": [
      {
        "familyName": "Donatelli", 
        "givenName": "Susanna", 
        "type": "Person"
      }, 
      {
        "familyName": "Thiagarajan", 
        "givenName": "P. S.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/11767589_10", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-34699-9", 
        "978-3-540-34700-2"
      ], 
      "name": "Petri Nets and Other Models of Concurrency - ICATPN 2006", 
      "type": "Book"
    }, 
    "name": "On the Construction of Pullbacks for Safe Petri Nets", 
    "pagination": "166-180", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1026532601"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/11767589_10"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "7e6725274cee02cacd3ab5922a891d71ac2d512a149540e2fa7bfc90b298415d"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/11767589_10", 
      "https://app.dimensions.ai/details/publication/pub.1026532601"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T07:30", 
    "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/0000000356_0000000356/records_57874_00000000.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F11767589_10"
  }
]
 

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/11767589_10'

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/11767589_10'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/11767589_10'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/11767589_10'


 

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

113 TRIPLES      23 PREDICATES      39 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/11767589_10 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Nab7442187b774a8c85d254ed1c924ee2
4 schema:citation sg:pub.10.1007/3-540-12920-0_13
5 sg:pub.10.1007/3-540-15670-4_12
6 sg:pub.10.1007/3-540-44919-1_12
7 sg:pub.10.1007/3-540-63166-6_35
8 sg:pub.10.1007/978-1-4612-9839-7
9 sg:pub.10.1007/s10626-005-5238-5
10 sg:pub.10.1007/s10626-006-0001-0
11 https://doi.org/10.1016/0167-6423(94)00019-0
12 https://doi.org/10.1016/0304-3975(95)00122-0
13 https://doi.org/10.1016/0890-5401(87)90032-0
14 https://doi.org/10.1109/cdc.2005.1583176
15 https://doi.org/10.1109/tac.2003.811249
16 schema:datePublished 2006
17 schema:datePublishedReg 2006-01-01
18 schema:description The product of safe Petri nets is a well known operation : it generalizes to concurrent systems the usual synchronous product of automata. In this paper, we consider a more general way of combining nets, called a pullback. The pullback operation generalizes the product to nets which interact both by synchronized transitions and/or by a shared sub-net (i.e. shared places and transitions). To obtain all pullbacks, we actually show that all equalizers can be defined in the category of safe nets. Combined to the known existence of products in this category, this gives more than what we need : we actually obtain that all small limits exist, i.e. that safe nets form a complete category.
19 schema:editor N26d081520a08462db86fadb65f8809b1
20 schema:genre chapter
21 schema:inLanguage en
22 schema:isAccessibleForFree true
23 schema:isPartOf N5f9ebb4bad7044c7b42fbef4c5f49b22
24 schema:name On the Construction of Pullbacks for Safe Petri Nets
25 schema:pagination 166-180
26 schema:productId N07b4b5b417004bcfa5a7322a89a6b763
27 N19e24731999e46b29acd66038b4a9409
28 N7e2facd04cae45989ffb0388acadd70b
29 schema:publisher Nca130c49efd440bfa0bd8d72a1c3c9ec
30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026532601
31 https://doi.org/10.1007/11767589_10
32 schema:sdDatePublished 2019-04-16T07:30
33 schema:sdLicense https://scigraph.springernature.com/explorer/license/
34 schema:sdPublisher N2f1c549b26614a83a2821f4d410b4fc2
35 schema:url https://link.springer.com/10.1007%2F11767589_10
36 sgo:license sg:explorer/license/
37 sgo:sdDataset chapters
38 rdf:type schema:Chapter
39 N07b4b5b417004bcfa5a7322a89a6b763 schema:name readcube_id
40 schema:value 7e6725274cee02cacd3ab5922a891d71ac2d512a149540e2fa7bfc90b298415d
41 rdf:type schema:PropertyValue
42 N0e323d841d4640f19ac3284550992a3d schema:familyName Thiagarajan
43 schema:givenName P. S.
44 rdf:type schema:Person
45 N19e24731999e46b29acd66038b4a9409 schema:name dimensions_id
46 schema:value pub.1026532601
47 rdf:type schema:PropertyValue
48 N26d081520a08462db86fadb65f8809b1 rdf:first Na0a3ccbdab9143b199e8565305f0f1dd
49 rdf:rest N9d1541f083374edf8e25a996c4722d10
50 N2f1c549b26614a83a2821f4d410b4fc2 schema:name Springer Nature - SN SciGraph project
51 rdf:type schema:Organization
52 N5f9ebb4bad7044c7b42fbef4c5f49b22 schema:isbn 978-3-540-34699-9
53 978-3-540-34700-2
54 schema:name Petri Nets and Other Models of Concurrency - ICATPN 2006
55 rdf:type schema:Book
56 N7e2facd04cae45989ffb0388acadd70b schema:name doi
57 schema:value 10.1007/11767589_10
58 rdf:type schema:PropertyValue
59 N9d1541f083374edf8e25a996c4722d10 rdf:first N0e323d841d4640f19ac3284550992a3d
60 rdf:rest rdf:nil
61 Na0a3ccbdab9143b199e8565305f0f1dd schema:familyName Donatelli
62 schema:givenName Susanna
63 rdf:type schema:Person
64 Nab7442187b774a8c85d254ed1c924ee2 rdf:first sg:person.011362250353.22
65 rdf:rest rdf:nil
66 Nca130c49efd440bfa0bd8d72a1c3c9ec schema:location Berlin, Heidelberg
67 schema:name Springer Berlin Heidelberg
68 rdf:type schema:Organisation
69 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
70 schema:name Information and Computing Sciences
71 rdf:type schema:DefinedTerm
72 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
73 schema:name Computation Theory and Mathematics
74 rdf:type schema:DefinedTerm
75 sg:person.011362250353.22 schema:affiliation https://www.grid.ac/institutes/grid.410368.8
76 schema:familyName Fabre
77 schema:givenName Eric
78 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011362250353.22
79 rdf:type schema:Person
80 sg:pub.10.1007/3-540-12920-0_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023917668
81 https://doi.org/10.1007/3-540-12920-0_13
82 rdf:type schema:CreativeWork
83 sg:pub.10.1007/3-540-15670-4_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005749967
84 https://doi.org/10.1007/3-540-15670-4_12
85 rdf:type schema:CreativeWork
86 sg:pub.10.1007/3-540-44919-1_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050792658
87 https://doi.org/10.1007/3-540-44919-1_12
88 rdf:type schema:CreativeWork
89 sg:pub.10.1007/3-540-63166-6_35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012820444
90 https://doi.org/10.1007/3-540-63166-6_35
91 rdf:type schema:CreativeWork
92 sg:pub.10.1007/978-1-4612-9839-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005546755
93 https://doi.org/10.1007/978-1-4612-9839-7
94 rdf:type schema:CreativeWork
95 sg:pub.10.1007/s10626-005-5238-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022113780
96 https://doi.org/10.1007/s10626-005-5238-5
97 rdf:type schema:CreativeWork
98 sg:pub.10.1007/s10626-006-0001-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020714989
99 https://doi.org/10.1007/s10626-006-0001-0
100 rdf:type schema:CreativeWork
101 https://doi.org/10.1016/0167-6423(94)00019-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050524986
102 rdf:type schema:CreativeWork
103 https://doi.org/10.1016/0304-3975(95)00122-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007481645
104 rdf:type schema:CreativeWork
105 https://doi.org/10.1016/0890-5401(87)90032-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010757447
106 rdf:type schema:CreativeWork
107 https://doi.org/10.1109/cdc.2005.1583176 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094184955
108 rdf:type schema:CreativeWork
109 https://doi.org/10.1109/tac.2003.811249 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061475291
110 rdf:type schema:CreativeWork
111 https://www.grid.ac/institutes/grid.410368.8 schema:alternateName University of Rennes 1
112 schema:name IRISA/INRIA, Campus de Beaulieu, 35042 cedex, Rennes, France
113 rdf:type schema:Organization
 




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


...