Ontology type: schema:ScholarlyArticle
2001-01
AUTHORSFabio Balduzzi, Angela Di Febbraro, Alessandro Giua, Carla Seatzu
ABSTRACTIn 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... »
PAGES41-57
http://scigraph.springernature.com/pub.10.1023/a:1008383031624
DOIhttp://dx.doi.org/10.1023/a:1008383031624
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1017919142
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
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