Petri Nets with Time View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2013

AUTHORS

Béatrice Bérard , Maria Paola Cabasino , Angela Di Febbraro , Alessandro Giua , Carla Seatzu

ABSTRACT

In previous chapters, Place/Transition nets have been used to model Discrete Event Systems with the aim of analyzing logical properties. However, such a model is not suitable for performance analysis because it does not keep into account the duration of the activities occurring in a system. Several extensions have been presented in the literature to address this issue, enriching the basic P/T net model with different temporal metrics and semantics. In this chapter we discuss the most common and significant ones. More... »

PAGES

319-341

References to SciGraph publications

Book

TITLE

Control of Discrete-Event Systems

ISBN

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

Identifiers

URI

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

DOI

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

DIMENSIONS

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


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": "Laboratoire d'informatique de Paris 6", 
          "id": "https://www.grid.ac/institutes/grid.462751.3", 
          "name": [
            "LIP6, Univ. P. et M. Curie, Paris, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "B\u00e9rard", 
        "givenName": "B\u00e9atrice", 
        "id": "sg:person.016371371055.08", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016371371055.08"
        ], 
        "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": "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 Genoa", 
          "id": "https://www.grid.ac/institutes/grid.5606.5", 
          "name": [
            "Department of Mechanical Engineering, Energetics, Production, Transportation and Mathematical Models, University of Genova, Genova, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Di Febbraro", 
        "givenName": "Angela", 
        "id": "sg:person.012176672756.37", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012176672756.37"
        ], 
        "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/978-3-642-04081-8_37", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1000529389", 
          "https://doi.org/10.1007/978-3-642-04081-8_37"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-55719-9_103", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1006689972", 
          "https://doi.org/10.1007/3-540-55719-9_103"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11562948_23", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018323394", 
          "https://doi.org/10.1007/11562948_23"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11562948_23", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1018323394", 
          "https://doi.org/10.1007/11562948_23"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0304-3975(77)90014-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1023544806"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11513988_41", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1025063779", 
          "https://doi.org/10.1007/11513988_41"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/11513988_41", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1025063779", 
          "https://doi.org/10.1007/11513988_41"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-45931-6_19", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1033170450", 
          "https://doi.org/10.1007/3-540-45931-6_19"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1006/inco.1994.1060", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1037460455"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4615-5537-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1051486204", 
          "https://doi.org/10.1007/978-1-4615-5537-7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4615-5537-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1051486204", 
          "https://doi.org/10.1007/978-1-4615-5537-7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/32.75415", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061154498"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/81.139289", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061235809"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tse.1983.235261", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061787572"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2013", 
    "datePublishedReg": "2013-01-01", 
    "description": "In previous chapters, Place/Transition nets have been used to model Discrete Event Systems with the aim of analyzing logical properties. However, such a model is not suitable for performance analysis because it does not keep into account the duration of the activities occurring in a system. Several extensions have been presented in the literature to address this issue, enriching the basic P/T net model with different temporal metrics and semantics. In this chapter we discuss the most common and significant ones.", 
    "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_16", 
    "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": "Petri Nets with Time", 
    "pagination": "319-341", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-1-4471-4276-8_16"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "52bab299a0cfff4715f6eb0781ce185ca315625cec9a0722d83306e02768f027"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1017364031"
        ]
      }
    ], 
    "publisher": {
      "location": "London", 
      "name": "Springer London", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-1-4471-4276-8_16", 
      "https://app.dimensions.ai/details/publication/pub.1017364031"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T21:01", 
    "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_8690_00000253.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-1-4471-4276-8_16"
  }
]
 

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_16'

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_16'

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_16'

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_16'


 

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

148 TRIPLES      23 PREDICATES      38 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-1-4471-4276-8_16 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Nf7deee89356f4d64bb73082377e8fa6e
4 schema:citation sg:pub.10.1007/11513988_41
5 sg:pub.10.1007/11562948_23
6 sg:pub.10.1007/3-540-45931-6_19
7 sg:pub.10.1007/3-540-55719-9_103
8 sg:pub.10.1007/978-1-4615-5537-7
9 sg:pub.10.1007/978-3-642-04081-8_37
10 https://doi.org/10.1006/inco.1994.1060
11 https://doi.org/10.1016/0304-3975(77)90014-7
12 https://doi.org/10.1109/32.75415
13 https://doi.org/10.1109/81.139289
14 https://doi.org/10.1109/tse.1983.235261
15 schema:datePublished 2013
16 schema:datePublishedReg 2013-01-01
17 schema:description In previous chapters, Place/Transition nets have been used to model Discrete Event Systems with the aim of analyzing logical properties. However, such a model is not suitable for performance analysis because it does not keep into account the duration of the activities occurring in a system. Several extensions have been presented in the literature to address this issue, enriching the basic P/T net model with different temporal metrics and semantics. In this chapter we discuss the most common and significant ones.
18 schema:editor N296a9a2e917a4fb599bef0273f05ff7c
19 schema:genre chapter
20 schema:inLanguage en
21 schema:isAccessibleForFree false
22 schema:isPartOf N6ef057debb7d4fa19bc6d8f53f41ce40
23 schema:name Petri Nets with Time
24 schema:pagination 319-341
25 schema:productId N45628a5d385b4bbcbe1998c22fb3480e
26 Ncfe53f49287f49cf8f86390e37af2141
27 Nec59fd96fbfa4193ad75f9be693fa115
28 schema:publisher N23511f624b92411ca843a057f093fbb5
29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017364031
30 https://doi.org/10.1007/978-1-4471-4276-8_16
31 schema:sdDatePublished 2019-04-15T21:01
32 schema:sdLicense https://scigraph.springernature.com/explorer/license/
33 schema:sdPublisher N5613a70137d04140a5db967be3ed7533
34 schema:url http://link.springer.com/10.1007/978-1-4471-4276-8_16
35 sgo:license sg:explorer/license/
36 sgo:sdDataset chapters
37 rdf:type schema:Chapter
38 N23511f624b92411ca843a057f093fbb5 schema:location London
39 schema:name Springer London
40 rdf:type schema:Organisation
41 N260af53dd0474cddb51175c3df2b537f rdf:first sg:person.012176672756.37
42 rdf:rest N59e9f27d181a40f09faba6ce8c372719
43 N296a9a2e917a4fb599bef0273f05ff7c rdf:first N5bb97a1bfeea4beaa06cb894c05e8e0c
44 rdf:rest N42155270098440fcae864a5386733414
45 N42155270098440fcae864a5386733414 rdf:first Nfae064e216e44fd19e1303fe3fbde593
46 rdf:rest N90ab5e6df07b493099b7d0e6d1e106dd
47 N42de7769ebac4549a13418af2e287cc4 rdf:first sg:person.07517352426.75
48 rdf:rest rdf:nil
49 N45628a5d385b4bbcbe1998c22fb3480e schema:name readcube_id
50 schema:value 52bab299a0cfff4715f6eb0781ce185ca315625cec9a0722d83306e02768f027
51 rdf:type schema:PropertyValue
52 N5613a70137d04140a5db967be3ed7533 schema:name Springer Nature - SN SciGraph project
53 rdf:type schema:Organization
54 N59e9f27d181a40f09faba6ce8c372719 rdf:first sg:person.016465545631.91
55 rdf:rest N42de7769ebac4549a13418af2e287cc4
56 N5bb97a1bfeea4beaa06cb894c05e8e0c schema:familyName Seatzu
57 schema:givenName Carla
58 rdf:type schema:Person
59 N6ef057debb7d4fa19bc6d8f53f41ce40 schema:isbn 978-1-4471-4275-1
60 978-1-4471-4276-8
61 schema:name Control of Discrete-Event Systems
62 rdf:type schema:Book
63 N72341fbc170144a68daaa401cb0896c4 schema:familyName van Schuppen
64 schema:givenName Jan H.
65 rdf:type schema:Person
66 N90ab5e6df07b493099b7d0e6d1e106dd rdf:first N72341fbc170144a68daaa401cb0896c4
67 rdf:rest rdf:nil
68 N9b742deefd0b4369bf064d07a321254b rdf:first sg:person.07500744356.31
69 rdf:rest N260af53dd0474cddb51175c3df2b537f
70 Ncfe53f49287f49cf8f86390e37af2141 schema:name dimensions_id
71 schema:value pub.1017364031
72 rdf:type schema:PropertyValue
73 Nec59fd96fbfa4193ad75f9be693fa115 schema:name doi
74 schema:value 10.1007/978-1-4471-4276-8_16
75 rdf:type schema:PropertyValue
76 Nf7deee89356f4d64bb73082377e8fa6e rdf:first sg:person.016371371055.08
77 rdf:rest N9b742deefd0b4369bf064d07a321254b
78 Nfae064e216e44fd19e1303fe3fbde593 schema:familyName Silva
79 schema:givenName Manuel
80 rdf:type schema:Person
81 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
82 schema:name Information and Computing Sciences
83 rdf:type schema:DefinedTerm
84 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
85 schema:name Computation Theory and Mathematics
86 rdf:type schema:DefinedTerm
87 sg:person.012176672756.37 schema:affiliation https://www.grid.ac/institutes/grid.5606.5
88 schema:familyName Di Febbraro
89 schema:givenName Angela
90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012176672756.37
91 rdf:type schema:Person
92 sg:person.016371371055.08 schema:affiliation https://www.grid.ac/institutes/grid.462751.3
93 schema:familyName Bérard
94 schema:givenName Béatrice
95 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016371371055.08
96 rdf:type schema:Person
97 sg:person.016465545631.91 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
98 schema:familyName Giua
99 schema:givenName Alessandro
100 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016465545631.91
101 rdf:type schema:Person
102 sg:person.07500744356.31 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
103 schema:familyName Cabasino
104 schema:givenName Maria Paola
105 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07500744356.31
106 rdf:type schema:Person
107 sg:person.07517352426.75 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
108 schema:familyName Seatzu
109 schema:givenName Carla
110 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07517352426.75
111 rdf:type schema:Person
112 sg:pub.10.1007/11513988_41 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025063779
113 https://doi.org/10.1007/11513988_41
114 rdf:type schema:CreativeWork
115 sg:pub.10.1007/11562948_23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018323394
116 https://doi.org/10.1007/11562948_23
117 rdf:type schema:CreativeWork
118 sg:pub.10.1007/3-540-45931-6_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033170450
119 https://doi.org/10.1007/3-540-45931-6_19
120 rdf:type schema:CreativeWork
121 sg:pub.10.1007/3-540-55719-9_103 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006689972
122 https://doi.org/10.1007/3-540-55719-9_103
123 rdf:type schema:CreativeWork
124 sg:pub.10.1007/978-1-4615-5537-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051486204
125 https://doi.org/10.1007/978-1-4615-5537-7
126 rdf:type schema:CreativeWork
127 sg:pub.10.1007/978-3-642-04081-8_37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000529389
128 https://doi.org/10.1007/978-3-642-04081-8_37
129 rdf:type schema:CreativeWork
130 https://doi.org/10.1006/inco.1994.1060 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037460455
131 rdf:type schema:CreativeWork
132 https://doi.org/10.1016/0304-3975(77)90014-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023544806
133 rdf:type schema:CreativeWork
134 https://doi.org/10.1109/32.75415 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061154498
135 rdf:type schema:CreativeWork
136 https://doi.org/10.1109/81.139289 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061235809
137 rdf:type schema:CreativeWork
138 https://doi.org/10.1109/tse.1983.235261 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061787572
139 rdf:type schema:CreativeWork
140 https://www.grid.ac/institutes/grid.462751.3 schema:alternateName Laboratoire d'informatique de Paris 6
141 schema:name LIP6, Univ. P. et M. Curie, Paris, France
142 rdf:type schema:Organization
143 https://www.grid.ac/institutes/grid.5606.5 schema:alternateName University of Genoa
144 schema:name Department of Mechanical Engineering, Energetics, Production, Transportation and Mathematical Models, University of Genova, Genova, Italy
145 rdf:type schema:Organization
146 https://www.grid.ac/institutes/grid.7763.5 schema:alternateName University of Cagliari
147 schema:name Department of Electrical and Electronic Engineering, University of Cagliari, Cagliari, Italy
148 rdf:type schema:Organization
 




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


...