Decidability results in First–Order Hybrid Petri Nets View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2001-01

AUTHORS

Fabio Balduzzi, Angela Di Febbraro, Alessandro Giua, Carla Seatzu

ABSTRACT

In this paper we tackle the decidabilityof marking reachability for a hybrid formalism based on Petrinets. The model we consider is the untimed version of First–OrderHybrid Petri Nets: it combines a discrete Petri net and a continuousPetri net, the latter being a fluid version of a usual discretePetri net. It is suggested that the decidability results shouldbe pursued exploiting a hierarchy of models as it has been donein the framework of Hybrid Automata. In this paper we definethe class of Single–Rate Hybrid Petri Nets: the continuousdynamics of these nets is such that the vector of the markingderivatives of the continuous places is constant but for a scalarfactor. This class of nets can be seen as the counterpart oftimed automata with skewed clocks. We prove that the reachabilityproblem for this class can be reduced to the reachability problemof an equivalent discrete net and thus it is decidable. More... »

PAGES

41-57

Identifiers

URI

http://scigraph.springernature.com/pub.10.1023/a:1008383031624

DOI

http://dx.doi.org/10.1023/a:1008383031624

DIMENSIONS

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


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/0910", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Manufacturing Engineering", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/09", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Engineering", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Polytechnic University of Turin", 
          "id": "https://www.grid.ac/institutes/grid.4800.c", 
          "name": [
            "Dip. di Automatica ed Informatica, Politecnico di Torino, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Balduzzi", 
        "givenName": "Fabio", 
        "id": "sg:person.016410570013.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016410570013.83"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Polytechnic University of Turin", 
          "id": "https://www.grid.ac/institutes/grid.4800.c", 
          "name": [
            "Dip. di Automatica ed Informatica, Politecnico di Torino, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Febbraro", 
        "givenName": "Angela Di", 
        "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": [
            "Dip. di Ingegneria Elettrica ed Elettronica, Universit\u00e0 di 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": [
            "Dip. di Ingegneria Elettrica ed Elettronica, Universit\u00e0 di 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": "https://doi.org/10.1016/0304-3975(94)90010-8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029576598"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-56689-9_40", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030997875", 
          "https://doi.org/10.1007/3-540-56689-9_40"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-57318-6_28", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1036700741", 
          "https://doi.org/10.1007/3-540-57318-6_28"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0895-7177(96)00072-6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1038778385"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-57318-6_30", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1041912375", 
          "https://doi.org/10.1007/3-540-57318-6_30"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-57318-6_29", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1052881945", 
          "https://doi.org/10.1007/3-540-57318-6_29"
        ], 
        "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.864231", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061216775"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/cdc.1997.650717", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093380929"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/pnpm.1997.595536", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093776025"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/pnpm.1999.796554", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094330641"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/cdc.1994.411615", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094993723"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2001-01", 
    "datePublishedReg": "2001-01-01", 
    "description": "In this paper we tackle the decidabilityof marking reachability for a hybrid formalism based on Petrinets. The model we consider is the untimed version of First\u2013OrderHybrid Petri Nets: it combines a discrete Petri net and a continuousPetri net, the latter being a fluid version of a usual discretePetri net. It is suggested that the decidability results shouldbe pursued exploiting a hierarchy of models as it has been donein the framework of Hybrid Automata. In this paper we definethe class of Single\u2013Rate Hybrid Petri Nets: the continuousdynamics of these nets is such that the vector of the markingderivatives of the continuous places is constant but for a scalarfactor. This class of nets can be seen as the counterpart oftimed automata with skewed clocks. We prove that the reachabilityproblem for this class can be reduced to the reachability problemof an equivalent discrete net and thus it is decidable.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1023/a:1008383031624", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1136419", 
        "issn": [
          "0924-6703", 
          "1573-7594"
        ], 
        "name": "Discrete Event Dynamic Systems", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "1-2", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "11"
      }
    ], 
    "name": "Decidability results in First\u2013Order Hybrid Petri Nets", 
    "pagination": "41-57", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "5560cb5cf781af799be38e3e05f74cd053e56851662a55341279b4c160a87fd5"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1023/a:1008383031624"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1017919142"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1023/a:1008383031624", 
      "https://app.dimensions.ai/details/publication/pub.1017919142"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-10T18:17", 
    "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_8675_00000499.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1023/A:1008383031624"
  }
]
 

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.1023/a:1008383031624'

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.1023/a:1008383031624'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1023/a:1008383031624'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1023/a:1008383031624'


 

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

125 TRIPLES      21 PREDICATES      39 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1023/a:1008383031624 schema:about anzsrc-for:09
2 anzsrc-for:0910
3 schema:author Nb8c3114addff4988927dfd51a499c0ed
4 schema:citation sg:pub.10.1007/3-540-56689-9_40
5 sg:pub.10.1007/3-540-57318-6_28
6 sg:pub.10.1007/3-540-57318-6_29
7 sg:pub.10.1007/3-540-57318-6_30
8 https://doi.org/10.1016/0304-3975(94)90010-8
9 https://doi.org/10.1016/0895-7177(96)00072-6
10 https://doi.org/10.1109/5.24143
11 https://doi.org/10.1109/70.864231
12 https://doi.org/10.1109/cdc.1994.411615
13 https://doi.org/10.1109/cdc.1997.650717
14 https://doi.org/10.1109/pnpm.1997.595536
15 https://doi.org/10.1109/pnpm.1999.796554
16 schema:datePublished 2001-01
17 schema:datePublishedReg 2001-01-01
18 schema:description In this paper we tackle the decidabilityof marking reachability for a hybrid formalism based on Petrinets. The model we consider is the untimed version of First–OrderHybrid Petri Nets: it combines a discrete Petri net and a continuousPetri net, the latter being a fluid version of a usual discretePetri net. It is suggested that the decidability results shouldbe pursued exploiting a hierarchy of models as it has been donein the framework of Hybrid Automata. In this paper we definethe class of Single–Rate Hybrid Petri Nets: the continuousdynamics of these nets is such that the vector of the markingderivatives of the continuous places is constant but for a scalarfactor. This class of nets can be seen as the counterpart oftimed automata with skewed clocks. We prove that the reachabilityproblem for this class can be reduced to the reachability problemof an equivalent discrete net and thus it is decidable.
19 schema:genre research_article
20 schema:inLanguage en
21 schema:isAccessibleForFree false
22 schema:isPartOf Nb391b47e5f554a618a2cd6bc93c9706e
23 Nd1937e344b364cebafa1d5ff2eeb3a10
24 sg:journal.1136419
25 schema:name Decidability results in First–Order Hybrid Petri Nets
26 schema:pagination 41-57
27 schema:productId N5cabc7eb34ac4cbd8c2a86156f5d4d87
28 N6aedf3931ad341d7bf66c2013df59f27
29 N6dababa89f9b4163bc16eec605c9932a
30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017919142
31 https://doi.org/10.1023/a:1008383031624
32 schema:sdDatePublished 2019-04-10T18:17
33 schema:sdLicense https://scigraph.springernature.com/explorer/license/
34 schema:sdPublisher N7a67542a2f5d4726a271c7a2322697fb
35 schema:url http://link.springer.com/10.1023/A:1008383031624
36 sgo:license sg:explorer/license/
37 sgo:sdDataset articles
38 rdf:type schema:ScholarlyArticle
39 N143c4687365142e4be749a4f4a8bfeb0 rdf:first sg:person.016465545631.91
40 rdf:rest N933fa0e3e64a48d383792604dcc63fe1
41 N5cabc7eb34ac4cbd8c2a86156f5d4d87 schema:name dimensions_id
42 schema:value pub.1017919142
43 rdf:type schema:PropertyValue
44 N6aedf3931ad341d7bf66c2013df59f27 schema:name doi
45 schema:value 10.1023/a:1008383031624
46 rdf:type schema:PropertyValue
47 N6dababa89f9b4163bc16eec605c9932a schema:name readcube_id
48 schema:value 5560cb5cf781af799be38e3e05f74cd053e56851662a55341279b4c160a87fd5
49 rdf:type schema:PropertyValue
50 N7a67542a2f5d4726a271c7a2322697fb schema:name Springer Nature - SN SciGraph project
51 rdf:type schema:Organization
52 N933fa0e3e64a48d383792604dcc63fe1 rdf:first sg:person.07517352426.75
53 rdf:rest rdf:nil
54 Nb391b47e5f554a618a2cd6bc93c9706e schema:volumeNumber 11
55 rdf:type schema:PublicationVolume
56 Nb8c3114addff4988927dfd51a499c0ed rdf:first sg:person.016410570013.83
57 rdf:rest Nbee93d6b655441329ad819d59d956f55
58 Nbee93d6b655441329ad819d59d956f55 rdf:first sg:person.012176672756.37
59 rdf:rest N143c4687365142e4be749a4f4a8bfeb0
60 Nd1937e344b364cebafa1d5ff2eeb3a10 schema:issueNumber 1-2
61 rdf:type schema:PublicationIssue
62 anzsrc-for:09 schema:inDefinedTermSet anzsrc-for:
63 schema:name Engineering
64 rdf:type schema:DefinedTerm
65 anzsrc-for:0910 schema:inDefinedTermSet anzsrc-for:
66 schema:name Manufacturing Engineering
67 rdf:type schema:DefinedTerm
68 sg:journal.1136419 schema:issn 0924-6703
69 1573-7594
70 schema:name Discrete Event Dynamic Systems
71 rdf:type schema:Periodical
72 sg:person.012176672756.37 schema:affiliation https://www.grid.ac/institutes/grid.4800.c
73 schema:familyName Febbraro
74 schema:givenName Angela Di
75 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012176672756.37
76 rdf:type schema:Person
77 sg:person.016410570013.83 schema:affiliation https://www.grid.ac/institutes/grid.4800.c
78 schema:familyName Balduzzi
79 schema:givenName Fabio
80 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016410570013.83
81 rdf:type schema:Person
82 sg:person.016465545631.91 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
83 schema:familyName Giua
84 schema:givenName Alessandro
85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016465545631.91
86 rdf:type schema:Person
87 sg:person.07517352426.75 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
88 schema:familyName Seatzu
89 schema:givenName Carla
90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07517352426.75
91 rdf:type schema:Person
92 sg:pub.10.1007/3-540-56689-9_40 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030997875
93 https://doi.org/10.1007/3-540-56689-9_40
94 rdf:type schema:CreativeWork
95 sg:pub.10.1007/3-540-57318-6_28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036700741
96 https://doi.org/10.1007/3-540-57318-6_28
97 rdf:type schema:CreativeWork
98 sg:pub.10.1007/3-540-57318-6_29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052881945
99 https://doi.org/10.1007/3-540-57318-6_29
100 rdf:type schema:CreativeWork
101 sg:pub.10.1007/3-540-57318-6_30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041912375
102 https://doi.org/10.1007/3-540-57318-6_30
103 rdf:type schema:CreativeWork
104 https://doi.org/10.1016/0304-3975(94)90010-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029576598
105 rdf:type schema:CreativeWork
106 https://doi.org/10.1016/0895-7177(96)00072-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038778385
107 rdf:type schema:CreativeWork
108 https://doi.org/10.1109/5.24143 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061179070
109 rdf:type schema:CreativeWork
110 https://doi.org/10.1109/70.864231 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061216775
111 rdf:type schema:CreativeWork
112 https://doi.org/10.1109/cdc.1994.411615 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094993723
113 rdf:type schema:CreativeWork
114 https://doi.org/10.1109/cdc.1997.650717 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093380929
115 rdf:type schema:CreativeWork
116 https://doi.org/10.1109/pnpm.1997.595536 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093776025
117 rdf:type schema:CreativeWork
118 https://doi.org/10.1109/pnpm.1999.796554 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094330641
119 rdf:type schema:CreativeWork
120 https://www.grid.ac/institutes/grid.4800.c schema:alternateName Polytechnic University of Turin
121 schema:name Dip. di Automatica ed Informatica, Politecnico di Torino, Italy
122 rdf:type schema:Organization
123 https://www.grid.ac/institutes/grid.7763.5 schema:alternateName University of Cagliari
124 schema:name Dip. di Ingegneria Elettrica ed Elettronica, Università di Cagliari, Italy
125 rdf:type schema:Organization
 




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


...