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

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 N308e81924e7d45e8a12d7185cd3b8a64
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 N2a31bd0e703a4237a2a0695aa5790a3d
23 schema:genre chapter
24 schema:inLanguage en
25 schema:isAccessibleForFree false
26 schema:isPartOf N032500a1c49941d8ae7ce94783c5c638
27 schema:name Structural Analysis of Petri Nets
28 schema:pagination 213-233
29 schema:productId Nc27a13b82a134711a2f86f954af450e7
30 Nec18bca17bda4fd28e747bd4871fdf3b
31 Nf2e6ae1e4d03451a87a94b29eb254bc0
32 schema:publisher Nc07baafa9e4341cab0774edb4d64b284
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 N47c77aff05c94c09beb19c27840db701
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 N0230c49dfb5f4d83bd271f5be191e480 schema:familyName Silva
43 schema:givenName Manuel
44 rdf:type schema:Person
45 N032500a1c49941d8ae7ce94783c5c638 schema:isbn 978-1-4471-4275-1
46 978-1-4471-4276-8
47 schema:name Control of Discrete-Event Systems
48 rdf:type schema:Book
49 N25bee59b1378417e8e59b46b173bf482 schema:familyName Seatzu
50 schema:givenName Carla
51 rdf:type schema:Person
52 N2a31bd0e703a4237a2a0695aa5790a3d rdf:first N25bee59b1378417e8e59b46b173bf482
53 rdf:rest Nce99cdeb651545078d93718cb20488d6
54 N308e81924e7d45e8a12d7185cd3b8a64 rdf:first sg:person.07500744356.31
55 rdf:rest Nfd00e544e5a742cf900a0113e8194236
56 N3a9625d1f55b456888d97d803b16f0cb schema:familyName van Schuppen
57 schema:givenName Jan H.
58 rdf:type schema:Person
59 N46f26c89b3dd4d74a1e7654713543b0e rdf:first N3a9625d1f55b456888d97d803b16f0cb
60 rdf:rest rdf:nil
61 N47c77aff05c94c09beb19c27840db701 schema:name Springer Nature - SN SciGraph project
62 rdf:type schema:Organization
63 Nb54af204ea5745379302f618a637c5e0 rdf:first sg:person.07517352426.75
64 rdf:rest rdf:nil
65 Nc07baafa9e4341cab0774edb4d64b284 schema:location London
66 schema:name Springer London
67 rdf:type schema:Organisation
68 Nc27a13b82a134711a2f86f954af450e7 schema:name dimensions_id
69 schema:value pub.1038454337
70 rdf:type schema:PropertyValue
71 Nce99cdeb651545078d93718cb20488d6 rdf:first N0230c49dfb5f4d83bd271f5be191e480
72 rdf:rest N46f26c89b3dd4d74a1e7654713543b0e
73 Nec18bca17bda4fd28e747bd4871fdf3b schema:name doi
74 schema:value 10.1007/978-1-4471-4276-8_11
75 rdf:type schema:PropertyValue
76 Nf2e6ae1e4d03451a87a94b29eb254bc0 schema:name readcube_id
77 schema:value b72ddd945a41e4f599a9ea42ce1e072bf364f32a07182bdbc5fe8258a972e472
78 rdf:type schema:PropertyValue
79 Nfd00e544e5a742cf900a0113e8194236 rdf:first sg:person.016465545631.91
80 rdf:rest Nb54af204ea5745379302f618a637c5e0
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)


...