State Estimation of λ-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions* View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2005-03

AUTHORS

Alessandro Giua, Daniele Corona, Carla Seatzu

ABSTRACT

In this paper we deal with the problem of estimating the marking of a labeled Petri net with nondeterministic transitions. In particular, we consider the case in which nondeterminism is due to the presence of transitions that share the same label and that can be simultaneously enabled. Under the assumption that: the structure of the net is known, the initial marking is known, the transition labels can be observed, the nondeterministic transitions are contact-free, we present a technique for characterizing the set of markings that are consistent with the actual observation. More precisely, we show that the set of markings consistent with an observed word can be represented by a linear system with a fixed structure that does not depend on the length of the observed word. More... »

PAGES

85-108

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s10626-005-5239-4

DOI

http://dx.doi.org/10.1007/s10626-005-5239-4

DIMENSIONS

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


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/1103", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Clinical Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/11", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Medical and Health Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Cagliari", 
          "id": "https://www.grid.ac/institutes/grid.7763.5", 
          "name": [
            "Dip. Ingegneria Elettrica ed Elettronica, Universit\u00e0  di Cagliari, Piazza d\u2019Armi, 09123, 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. Ingegneria Elettrica ed Elettronica, Universit\u00e0  di Cagliari, Piazza d\u2019Armi, 09123, Cagliari, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Corona", 
        "givenName": "Daniele", 
        "id": "sg:person.010650123543.54", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010650123543.54"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Cagliari", 
          "id": "https://www.grid.ac/institutes/grid.7763.5", 
          "name": [
            "Dip. Ingegneria Elettrica ed Elettronica, Universit\u00e0  di Cagliari, Piazza d\u2019Armi, 09123, 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.1006/jcss.1999.1634", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1003532273"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1111/j.1934-6093.2004.tb00204.x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1028825937"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1111/j.1934-6093.2004.tb00204.x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1028825937"
        ], 
        "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/9.250512", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061243552"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/9.57018", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061245206"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tac.2002.802769", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061475095"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tac.2003.821419", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061475530"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/cdc.1989.70090", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1086162243"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/cdc.1988.194300", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1086171736"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/cdc.1986.267551", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1086197540"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/icsmc.1998.725502", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093668454"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2005-03", 
    "datePublishedReg": "2005-03-01", 
    "description": "In this paper we deal with the problem of estimating the marking of a labeled Petri net with nondeterministic transitions. In particular, we consider the case in which nondeterminism is due to the presence of transitions that share the same label and that can be simultaneously enabled. Under the assumption that: the structure of the net is known, the initial marking is known, the transition labels can be observed, the nondeterministic transitions are contact-free, we present a technique for characterizing the set of markings that are consistent with the actual observation. More precisely, we show that the set of markings consistent with an observed word can be represented by a linear system with a fixed structure that does not depend on the length of the observed word.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/s10626-005-5239-4", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": [
      {
        "id": "sg:journal.1136419", 
        "issn": [
          "0924-6703", 
          "1573-7594"
        ], 
        "name": "Discrete Event Dynamic Systems", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "1", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "15"
      }
    ], 
    "name": "State Estimation of \u03bb-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*", 
    "pagination": "85-108", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s10626-005-5239-4"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "3f48fe7d21e0e2e25f62efd90542e271c8905d36679bed18ae6d2b63c25bd141"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1013284370"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s10626-005-5239-4", 
      "https://app.dimensions.ai/details/publication/pub.1013284370"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-15T09:12", 
    "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/0000000376_0000000376/records_56159_00000000.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007/s10626-005-5239-4"
  }
]
 

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/s10626-005-5239-4'

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-005-5239-4'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10626-005-5239-4'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10626-005-5239-4'


 

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

108 TRIPLES      21 PREDICATES      38 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s10626-005-5239-4 schema:about anzsrc-for:11
2 anzsrc-for:1103
3 schema:author Nf6e9507be17b4da0b7454e51b29a16dc
4 schema:citation https://doi.org/10.1006/jcss.1999.1634
5 https://doi.org/10.1109/5.24143
6 https://doi.org/10.1109/9.250512
7 https://doi.org/10.1109/9.57018
8 https://doi.org/10.1109/cdc.1986.267551
9 https://doi.org/10.1109/cdc.1988.194300
10 https://doi.org/10.1109/cdc.1989.70090
11 https://doi.org/10.1109/icsmc.1998.725502
12 https://doi.org/10.1109/tac.2002.802769
13 https://doi.org/10.1109/tac.2003.821419
14 https://doi.org/10.1111/j.1934-6093.2004.tb00204.x
15 schema:datePublished 2005-03
16 schema:datePublishedReg 2005-03-01
17 schema:description In this paper we deal with the problem of estimating the marking of a labeled Petri net with nondeterministic transitions. In particular, we consider the case in which nondeterminism is due to the presence of transitions that share the same label and that can be simultaneously enabled. Under the assumption that: the structure of the net is known, the initial marking is known, the transition labels can be observed, the nondeterministic transitions are contact-free, we present a technique for characterizing the set of markings that are consistent with the actual observation. More precisely, we show that the set of markings consistent with an observed word can be represented by a linear system with a fixed structure that does not depend on the length of the observed word.
18 schema:genre research_article
19 schema:inLanguage en
20 schema:isAccessibleForFree true
21 schema:isPartOf N20a9150718e04ef6a1df6f56b22e9991
22 Nec11a495cba7416fbd78ef46ceeaf672
23 sg:journal.1136419
24 schema:name State Estimation of λ-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*
25 schema:pagination 85-108
26 schema:productId N033a7b61ac0a47aaaf86c8861cd5be9c
27 N65590057bdd04afcb13093432ea95548
28 Nd6bdabdd090e4854924526b757d31487
29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013284370
30 https://doi.org/10.1007/s10626-005-5239-4
31 schema:sdDatePublished 2019-04-15T09:12
32 schema:sdLicense https://scigraph.springernature.com/explorer/license/
33 schema:sdPublisher N048aa748fa8b407495560aa2471e62f2
34 schema:url http://link.springer.com/10.1007/s10626-005-5239-4
35 sgo:license sg:explorer/license/
36 sgo:sdDataset articles
37 rdf:type schema:ScholarlyArticle
38 N033a7b61ac0a47aaaf86c8861cd5be9c schema:name readcube_id
39 schema:value 3f48fe7d21e0e2e25f62efd90542e271c8905d36679bed18ae6d2b63c25bd141
40 rdf:type schema:PropertyValue
41 N048aa748fa8b407495560aa2471e62f2 schema:name Springer Nature - SN SciGraph project
42 rdf:type schema:Organization
43 N20a9150718e04ef6a1df6f56b22e9991 schema:volumeNumber 15
44 rdf:type schema:PublicationVolume
45 N4d7ec261089d4bfea63cbdf61a05a0b9 rdf:first sg:person.010650123543.54
46 rdf:rest Ne0d203c9a09b47448e5ef88325d31eed
47 N65590057bdd04afcb13093432ea95548 schema:name doi
48 schema:value 10.1007/s10626-005-5239-4
49 rdf:type schema:PropertyValue
50 Nd6bdabdd090e4854924526b757d31487 schema:name dimensions_id
51 schema:value pub.1013284370
52 rdf:type schema:PropertyValue
53 Ne0d203c9a09b47448e5ef88325d31eed rdf:first sg:person.07517352426.75
54 rdf:rest rdf:nil
55 Nec11a495cba7416fbd78ef46ceeaf672 schema:issueNumber 1
56 rdf:type schema:PublicationIssue
57 Nf6e9507be17b4da0b7454e51b29a16dc rdf:first sg:person.016465545631.91
58 rdf:rest N4d7ec261089d4bfea63cbdf61a05a0b9
59 anzsrc-for:11 schema:inDefinedTermSet anzsrc-for:
60 schema:name Medical and Health Sciences
61 rdf:type schema:DefinedTerm
62 anzsrc-for:1103 schema:inDefinedTermSet anzsrc-for:
63 schema:name Clinical Sciences
64 rdf:type schema:DefinedTerm
65 sg:journal.1136419 schema:issn 0924-6703
66 1573-7594
67 schema:name Discrete Event Dynamic Systems
68 rdf:type schema:Periodical
69 sg:person.010650123543.54 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
70 schema:familyName Corona
71 schema:givenName Daniele
72 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010650123543.54
73 rdf:type schema:Person
74 sg:person.016465545631.91 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
75 schema:familyName Giua
76 schema:givenName Alessandro
77 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016465545631.91
78 rdf:type schema:Person
79 sg:person.07517352426.75 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
80 schema:familyName Seatzu
81 schema:givenName Carla
82 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07517352426.75
83 rdf:type schema:Person
84 https://doi.org/10.1006/jcss.1999.1634 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003532273
85 rdf:type schema:CreativeWork
86 https://doi.org/10.1109/5.24143 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061179070
87 rdf:type schema:CreativeWork
88 https://doi.org/10.1109/9.250512 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061243552
89 rdf:type schema:CreativeWork
90 https://doi.org/10.1109/9.57018 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061245206
91 rdf:type schema:CreativeWork
92 https://doi.org/10.1109/cdc.1986.267551 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086197540
93 rdf:type schema:CreativeWork
94 https://doi.org/10.1109/cdc.1988.194300 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086171736
95 rdf:type schema:CreativeWork
96 https://doi.org/10.1109/cdc.1989.70090 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086162243
97 rdf:type schema:CreativeWork
98 https://doi.org/10.1109/icsmc.1998.725502 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093668454
99 rdf:type schema:CreativeWork
100 https://doi.org/10.1109/tac.2002.802769 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061475095
101 rdf:type schema:CreativeWork
102 https://doi.org/10.1109/tac.2003.821419 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061475530
103 rdf:type schema:CreativeWork
104 https://doi.org/10.1111/j.1934-6093.2004.tb00204.x schema:sameAs https://app.dimensions.ai/details/publication/pub.1028825937
105 rdf:type schema:CreativeWork
106 https://www.grid.ac/institutes/grid.7763.5 schema:alternateName University of Cagliari
107 schema:name Dip. Ingegneria Elettrica ed Elettronica, Università di Cagliari, Piazza d’Armi, 09123, Cagliari, Italy
108 rdf:type schema:Organization
 




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


...