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 Nf82c7242f8124a68b1a2a592a4b9cb01
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 N440496452bcc4329a38193043e9022ab
22 Ne427bbee07dc40bf947c96f4fa9c3cc2
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 N218ee920ab3b4be4807aa6a567e7ac34
27 N234b6c6334f1498a8daf56c65ee5ba0a
28 N88682a9b6bec4e97946f7ef751944a44
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 N5dcd6f16336641e29f9a37681c84dad0
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 N218ee920ab3b4be4807aa6a567e7ac34 schema:name readcube_id
39 schema:value 3f48fe7d21e0e2e25f62efd90542e271c8905d36679bed18ae6d2b63c25bd141
40 rdf:type schema:PropertyValue
41 N234b6c6334f1498a8daf56c65ee5ba0a schema:name doi
42 schema:value 10.1007/s10626-005-5239-4
43 rdf:type schema:PropertyValue
44 N440496452bcc4329a38193043e9022ab schema:volumeNumber 15
45 rdf:type schema:PublicationVolume
46 N5dcd6f16336641e29f9a37681c84dad0 schema:name Springer Nature - SN SciGraph project
47 rdf:type schema:Organization
48 N88682a9b6bec4e97946f7ef751944a44 schema:name dimensions_id
49 schema:value pub.1013284370
50 rdf:type schema:PropertyValue
51 Nd65bd2c36f8746639f4dbb862659940c rdf:first sg:person.07517352426.75
52 rdf:rest rdf:nil
53 Ne427bbee07dc40bf947c96f4fa9c3cc2 schema:issueNumber 1
54 rdf:type schema:PublicationIssue
55 Nec45daa8ed6849ae905d9a52fc43806f rdf:first sg:person.010650123543.54
56 rdf:rest Nd65bd2c36f8746639f4dbb862659940c
57 Nf82c7242f8124a68b1a2a592a4b9cb01 rdf:first sg:person.016465545631.91
58 rdf:rest Nec45daa8ed6849ae905d9a52fc43806f
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)


...