Structural Analysis of Petri Nets View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2013

AUTHORS

Maria Paola Cabasino , Alessandro Giua , Carla Seatzu

ABSTRACT

This chapter, that can be seen as the continuation of the previous one, presents additional background material on Petri nets. In particular, the main focus is on structural analysis, i.e., algebraic tools that do not require the enumeration of the reachability set of a marked net but are based on the analysis of the state equation, on the incidence matrix, etc. Meaningful structural properties, i.e., properties that are only related to the structure of the net and not to its initial marking, are also defined and analyzed. Subclasses of Petri nets are finally defined and simplified analysis criteria that pertain to these classes are presented. More... »

PAGES

213-233

References to SciGraph publications

Book

TITLE

Control of Discrete-Event Systems

ISBN

978-1-4471-4275-1
978-1-4471-4276-8

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-1-4471-4276-8_11

DOI

http://dx.doi.org/10.1007/978-1-4471-4276-8_11

DIMENSIONS

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


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/0101", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Pure Mathematics", 
        "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": "University of Cagliari", 
          "id": "https://www.grid.ac/institutes/grid.7763.5", 
          "name": [
            "Department of Electrical and Electronic Engineering, University of Cagliari, Cagliari, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Cabasino", 
        "givenName": "Maria Paola", 
        "id": "sg:person.07500744356.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07500744356.31"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Cagliari", 
          "id": "https://www.grid.ac/institutes/grid.7763.5", 
          "name": [
            "Department of Electrical and Electronic Engineering, University of Cagliari, Cagliari, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Giua", 
        "givenName": "Alessandro", 
        "id": "sg:person.016465545631.91", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016465545631.91"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Cagliari", 
          "id": "https://www.grid.ac/institutes/grid.7763.5", 
          "name": [
            "Department of Electrical and Electronic Engineering, University of Cagliari, Cagliari, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Seatzu", 
        "givenName": "Carla", 
        "id": "sg:person.07517352426.75", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07517352426.75"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/3-540-53863-1_23", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1023484432", 
          "https://doi.org/10.1007/3-540-53863-1_23"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-68353-4_47", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1034214528", 
          "https://doi.org/10.1007/978-3-642-68353-4_47"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.3182/20110828-6-it-1002.00859", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1046264223"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-65306-6_19", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1047971968", 
          "https://doi.org/10.1007/3-540-65306-6_19"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0022-0000(69)80011-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1052702842"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/5.24143", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061179070"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/70.370500", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061216163"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tsmca.2003.820575", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061794955"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tsmca.2005.855751", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061795130"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tsmca.2006.878963", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061795186"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1142/s0218126698000092", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1062953224"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/coase.2006.326847", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093953409"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/etfa.2003.1247724", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094053249"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/cdc.2010.5716934", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094182408"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/cbo9780511526558", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1098786518"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2013", 
    "datePublishedReg": "2013-01-01", 
    "description": "This chapter, that can be seen as the continuation of the previous one, presents additional background material on Petri nets. In particular, the main focus is on structural analysis, i.e., algebraic tools that do not require the enumeration of the reachability set of a marked net but are based on the analysis of the state equation, on the incidence matrix, etc. Meaningful structural properties, i.e., properties that are only related to the structure of the net and not to its initial marking, are also defined and analyzed. Subclasses of Petri nets are finally defined and simplified analysis criteria that pertain to these classes are presented.", 
    "editor": [
      {
        "familyName": "Seatzu", 
        "givenName": "Carla", 
        "type": "Person"
      }, 
      {
        "familyName": "Silva", 
        "givenName": "Manuel", 
        "type": "Person"
      }, 
      {
        "familyName": "van Schuppen", 
        "givenName": "Jan H.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-1-4471-4276-8_11", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-1-4471-4275-1", 
        "978-1-4471-4276-8"
      ], 
      "name": "Control of Discrete-Event Systems", 
      "type": "Book"
    }, 
    "name": "Structural Analysis of Petri Nets", 
    "pagination": "213-233", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-1-4471-4276-8_11"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "b72ddd945a41e4f599a9ea42ce1e072bf364f32a07182bdbc5fe8258a972e472"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1038454337"
        ]
      }
    ], 
    "publisher": {
      "location": "London", 
      "name": "Springer London", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-1-4471-4276-8_11", 
      "https://app.dimensions.ai/details/publication/pub.1038454337"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T22:00", 
    "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/0000000001_0000000264/records_8693_00000267.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-1-4471-4276-8_11"
  }
]
 

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-1-4471-4276-8_11'

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-1-4471-4276-8_11'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-1-4471-4276-8_11'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-1-4471-4276-8_11'


 

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

137 TRIPLES      23 PREDICATES      42 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-1-4471-4276-8_11 schema:about anzsrc-for:01
2 anzsrc-for:0101
3 schema:author N033d1405032b490d9b363880d34f4e56
4 schema:citation sg:pub.10.1007/3-540-53863-1_23
5 sg:pub.10.1007/3-540-65306-6_19
6 sg:pub.10.1007/978-3-642-68353-4_47
7 https://doi.org/10.1016/s0022-0000(69)80011-5
8 https://doi.org/10.1017/cbo9780511526558
9 https://doi.org/10.1109/5.24143
10 https://doi.org/10.1109/70.370500
11 https://doi.org/10.1109/cdc.2010.5716934
12 https://doi.org/10.1109/coase.2006.326847
13 https://doi.org/10.1109/etfa.2003.1247724
14 https://doi.org/10.1109/tsmca.2003.820575
15 https://doi.org/10.1109/tsmca.2005.855751
16 https://doi.org/10.1109/tsmca.2006.878963
17 https://doi.org/10.1142/s0218126698000092
18 https://doi.org/10.3182/20110828-6-it-1002.00859
19 schema:datePublished 2013
20 schema:datePublishedReg 2013-01-01
21 schema:description This chapter, that can be seen as the continuation of the previous one, presents additional background material on Petri nets. In particular, the main focus is on structural analysis, i.e., algebraic tools that do not require the enumeration of the reachability set of a marked net but are based on the analysis of the state equation, on the incidence matrix, etc. Meaningful structural properties, i.e., properties that are only related to the structure of the net and not to its initial marking, are also defined and analyzed. Subclasses of Petri nets are finally defined and simplified analysis criteria that pertain to these classes are presented.
22 schema:editor N82feceb36a4d4e71817b168e6a38830d
23 schema:genre chapter
24 schema:inLanguage en
25 schema:isAccessibleForFree false
26 schema:isPartOf N640d0a6f75024aada87a1a2e55cf2559
27 schema:name Structural Analysis of Petri Nets
28 schema:pagination 213-233
29 schema:productId N79b25cdea92246e89c7bea1e727dea4f
30 Na7b124e5feca4647a645cc16e6169559
31 Nf02653b1fe644bb0a2290b40e4ea5ee1
32 schema:publisher N364165fba8fa4344be4516ca3470c6de
33 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038454337
34 https://doi.org/10.1007/978-1-4471-4276-8_11
35 schema:sdDatePublished 2019-04-15T22:00
36 schema:sdLicense https://scigraph.springernature.com/explorer/license/
37 schema:sdPublisher Neacfac4b1b5744d784be844a285cc603
38 schema:url http://link.springer.com/10.1007/978-1-4471-4276-8_11
39 sgo:license sg:explorer/license/
40 sgo:sdDataset chapters
41 rdf:type schema:Chapter
42 N033122125bd84bb9839fa3b14685ac2c rdf:first sg:person.016465545631.91
43 rdf:rest N28fc6bcc681d4acf97e4c5fe898be77f
44 N033d1405032b490d9b363880d34f4e56 rdf:first sg:person.07500744356.31
45 rdf:rest N033122125bd84bb9839fa3b14685ac2c
46 N28fc6bcc681d4acf97e4c5fe898be77f rdf:first sg:person.07517352426.75
47 rdf:rest rdf:nil
48 N309defe3d8874bf6994862f373296fd0 schema:familyName van Schuppen
49 schema:givenName Jan H.
50 rdf:type schema:Person
51 N364165fba8fa4344be4516ca3470c6de schema:location London
52 schema:name Springer London
53 rdf:type schema:Organisation
54 N640d0a6f75024aada87a1a2e55cf2559 schema:isbn 978-1-4471-4275-1
55 978-1-4471-4276-8
56 schema:name Control of Discrete-Event Systems
57 rdf:type schema:Book
58 N79b25cdea92246e89c7bea1e727dea4f schema:name doi
59 schema:value 10.1007/978-1-4471-4276-8_11
60 rdf:type schema:PropertyValue
61 N82feceb36a4d4e71817b168e6a38830d rdf:first Nf649aaa999f747288b8e192e9bdeb308
62 rdf:rest Na3ead0057e0f43358ae1299300577eab
63 Na3ead0057e0f43358ae1299300577eab rdf:first Na929979a47064e6c8cdf90289e101833
64 rdf:rest Na89ab4f2f69c4eeaa029e27d1a0df96d
65 Na7b124e5feca4647a645cc16e6169559 schema:name readcube_id
66 schema:value b72ddd945a41e4f599a9ea42ce1e072bf364f32a07182bdbc5fe8258a972e472
67 rdf:type schema:PropertyValue
68 Na89ab4f2f69c4eeaa029e27d1a0df96d rdf:first N309defe3d8874bf6994862f373296fd0
69 rdf:rest rdf:nil
70 Na929979a47064e6c8cdf90289e101833 schema:familyName Silva
71 schema:givenName Manuel
72 rdf:type schema:Person
73 Neacfac4b1b5744d784be844a285cc603 schema:name Springer Nature - SN SciGraph project
74 rdf:type schema:Organization
75 Nf02653b1fe644bb0a2290b40e4ea5ee1 schema:name dimensions_id
76 schema:value pub.1038454337
77 rdf:type schema:PropertyValue
78 Nf649aaa999f747288b8e192e9bdeb308 schema:familyName Seatzu
79 schema:givenName Carla
80 rdf:type schema:Person
81 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
82 schema:name Mathematical Sciences
83 rdf:type schema:DefinedTerm
84 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
85 schema:name Pure Mathematics
86 rdf:type schema:DefinedTerm
87 sg:person.016465545631.91 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
88 schema:familyName Giua
89 schema:givenName Alessandro
90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016465545631.91
91 rdf:type schema:Person
92 sg:person.07500744356.31 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
93 schema:familyName Cabasino
94 schema:givenName Maria Paola
95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07500744356.31
96 rdf:type schema:Person
97 sg:person.07517352426.75 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
98 schema:familyName Seatzu
99 schema:givenName Carla
100 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07517352426.75
101 rdf:type schema:Person
102 sg:pub.10.1007/3-540-53863-1_23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023484432
103 https://doi.org/10.1007/3-540-53863-1_23
104 rdf:type schema:CreativeWork
105 sg:pub.10.1007/3-540-65306-6_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047971968
106 https://doi.org/10.1007/3-540-65306-6_19
107 rdf:type schema:CreativeWork
108 sg:pub.10.1007/978-3-642-68353-4_47 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034214528
109 https://doi.org/10.1007/978-3-642-68353-4_47
110 rdf:type schema:CreativeWork
111 https://doi.org/10.1016/s0022-0000(69)80011-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052702842
112 rdf:type schema:CreativeWork
113 https://doi.org/10.1017/cbo9780511526558 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098786518
114 rdf:type schema:CreativeWork
115 https://doi.org/10.1109/5.24143 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061179070
116 rdf:type schema:CreativeWork
117 https://doi.org/10.1109/70.370500 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061216163
118 rdf:type schema:CreativeWork
119 https://doi.org/10.1109/cdc.2010.5716934 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094182408
120 rdf:type schema:CreativeWork
121 https://doi.org/10.1109/coase.2006.326847 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093953409
122 rdf:type schema:CreativeWork
123 https://doi.org/10.1109/etfa.2003.1247724 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094053249
124 rdf:type schema:CreativeWork
125 https://doi.org/10.1109/tsmca.2003.820575 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061794955
126 rdf:type schema:CreativeWork
127 https://doi.org/10.1109/tsmca.2005.855751 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061795130
128 rdf:type schema:CreativeWork
129 https://doi.org/10.1109/tsmca.2006.878963 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061795186
130 rdf:type schema:CreativeWork
131 https://doi.org/10.1142/s0218126698000092 schema:sameAs https://app.dimensions.ai/details/publication/pub.1062953224
132 rdf:type schema:CreativeWork
133 https://doi.org/10.3182/20110828-6-it-1002.00859 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046264223
134 rdf:type schema:CreativeWork
135 https://www.grid.ac/institutes/grid.7763.5 schema:alternateName University of Cagliari
136 schema:name Department of Electrical and Electronic Engineering, University of Cagliari, Cagliari, Italy
137 rdf:type schema:Organization
 




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


...