Ontology type: schema:ScholarlyArticle
2016-03
AUTHORSMarco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
ABSTRACTDetermining the state of a system when one does not know its current initial state is a very important problem in many practical applications as checking communication protocols, part orienteers, digital circuit reset, etc. Synchronizing sequences have been proposed in the 60’s to solve the problem on systems modeled by finite state machines. This paper presents a first investigation of the synchronizing problem on unbounded systems, using synchronized Petri nets, i.e., nets whose evolution is driven by external input events. The proposed approach suffers from the fact that no finite space representation can exhaustively answer to the reachability problem but we show that synchronizing sequences may be computed for a particular class of unbounded synchronized Petri nets. More... »
PAGES85-108
http://scigraph.springernature.com/pub.10.1007/s10626-016-0225-6
DOIhttp://dx.doi.org/10.1007/s10626-016-0225-6
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1001254341
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": "University of Cagliari",
"id": "https://www.grid.ac/institutes/grid.7763.5",
"name": [
"Aix Marseille Universit\u00e9, CNRS, ENSAM, Universit\u00e9 de Toulon, LSIS UMR 7296, 13397, Marseille, France",
"DIEE, University of Cagliari, Cagliari, Italy"
],
"type": "Organization"
},
"familyName": "Pocci",
"givenName": "Marco",
"id": "sg:person.011057760346.24",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011057760346.24"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Aix-Marseille University",
"id": "https://www.grid.ac/institutes/grid.5399.6",
"name": [
"Aix Marseille Universit\u00e9, CNRS, ENSAM, Universit\u00e9 de Toulon, LSIS UMR 7296, 13397, Marseille, France"
],
"type": "Organization"
},
"familyName": "Demongodin",
"givenName": "Isabel",
"id": "sg:person.015575422625.61",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015575422625.61"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "Aix-Marseille University",
"id": "https://www.grid.ac/institutes/grid.5399.6",
"name": [
"Aix Marseille Universit\u00e9, CNRS, ENSAM, Universit\u00e9 de Toulon, LSIS UMR 7296, 13397, Marseille, France"
],
"type": "Organization"
},
"familyName": "Giambiasi",
"givenName": "Norbert",
"id": "sg:person.016646111315.77",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016646111315.77"
],
"type": "Person"
},
{
"affiliation": {
"alternateName": "University of Cagliari",
"id": "https://www.grid.ac/institutes/grid.7763.5",
"name": [
"Aix Marseille Universit\u00e9, CNRS, ENSAM, Universit\u00e9 de Toulon, LSIS UMR 7296, 13397, Marseille, France",
"DIEE, 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"
}
],
"citation": [
{
"id": "https://doi.org/10.1145/322261.322271",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1001210820"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/3-540-56689-9_45",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1005061806",
"https://doi.org/10.1007/3-540-56689-9_45"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1038/35106533",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1006789713",
"https://doi.org/10.1038/35106533"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1038/35106533",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1006789713",
"https://doi.org/10.1038/35106533"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/j.ic.2008.03.005",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1010505849"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/3-540-45007-6_8",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1012248703",
"https://doi.org/10.1007/3-540-45007-6_8"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/j.ipl.2006.04.009",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1018035400"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.3182/20140514-3-fr-4046.00104",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1039105544"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1073/pnas.0535624100",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1047077890"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-21834-7_5",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1049742642",
"https://doi.org/10.1007/978-3-642-21834-7_5"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-21834-7_5",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1049742642",
"https://doi.org/10.1007/978-3-642-21834-7_5"
],
"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/12.127453",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1061087286"
],
"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/5.533956",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1061179588"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/tase.2013.2290774",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1061515359"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/tsmca.2012.2226878",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1061795986"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/tsmcb.2008.917177",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1061796941"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1142/s0129054110007180",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1062897011"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/sfcs.1986.5",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1086199624"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/edac.1993.386426",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1086360051"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/tencon.2013.6718970",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1095364852"
],
"type": "CreativeWork"
}
],
"datePublished": "2016-03",
"datePublishedReg": "2016-03-01",
"description": "Determining the state of a system when one does not know its current initial state is a very important problem in many practical applications as checking communication protocols, part orienteers, digital circuit reset, etc. Synchronizing sequences have been proposed in the 60\u2019s to solve the problem on systems modeled by finite state machines. This paper presents a first investigation of the synchronizing problem on unbounded systems, using synchronized Petri nets, i.e., nets whose evolution is driven by external input events. The proposed approach suffers from the fact that no finite space representation can exhaustively answer to the reachability problem but we show that synchronizing sequences may be computed for a particular class of unbounded synchronized Petri nets.",
"genre": "research_article",
"id": "sg:pub.10.1007/s10626-016-0225-6",
"inLanguage": [
"en"
],
"isAccessibleForFree": false,
"isPartOf": [
{
"id": "sg:journal.1136419",
"issn": [
"0924-6703",
"1573-7594"
],
"name": "Discrete Event Dynamic Systems",
"type": "Periodical"
},
{
"issueNumber": "1",
"type": "PublicationIssue"
},
{
"type": "PublicationVolume",
"volumeNumber": "26"
}
],
"name": "Synchronizing sequences on a class of unbounded systems using synchronized Petri nets",
"pagination": "85-108",
"productId": [
{
"name": "readcube_id",
"type": "PropertyValue",
"value": [
"05f96d7b3789e28ec997701623d20aa4e4efbc5d7856781d110b6f553400f6b9"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/s10626-016-0225-6"
]
},
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1001254341"
]
}
],
"sameAs": [
"https://doi.org/10.1007/s10626-016-0225-6",
"https://app.dimensions.ai/details/publication/pub.1001254341"
],
"sdDataset": "articles",
"sdDatePublished": "2019-04-11T01:53",
"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_8700_00000485.jsonl",
"type": "ScholarlyArticle",
"url": "http://link.springer.com/10.1007/s10626-016-0225-6"
}
]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.1007/s10626-016-0225-6'
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/s10626-016-0225-6'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10626-016-0225-6'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10626-016-0225-6'
This table displays all metadata directly associated to this object as RDF triples.
150 TRIPLES
21 PREDICATES
47 URIs
19 LITERALS
7 BLANK NODES