Monitoring Discrete Event Systems Using Petri Net Embeddings View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2003-04-18

AUTHORS

Christoforos N. Hadjicostis , George C. Verghese

ABSTRACT

In this paper we discuss a methodology for monitoring failures and other activity in discrete event systems that are described by Petri nets. Our method is based on embedding the given Petri net model in a larger Petri net that retains the functionality and properties of the given one, perhaps in a non-separate (that is, not immediately identifiable) way. This redundant Petri net embedding introduces “structured redundancy” that can be used to facilitate fault detection, identification and correction, or to offer increased capabilities for monitoring and control. We focus primarily on separate embeddings in which the functionality of the original Petri net is retained in its exact form. Using these embeddings, we construct monitors that operate concurrently with the original system and allow us to detect and identify different types of failures by performing consistency checks between the state of the original Petri net and that of the monitor. The methods that we propose are attractive because the resulting monitors are robust to failures, they may not require explicit acknowledgments from each activity, and their construction is systematic and easily adaptable to restrictions in the available information. We also discuss briefly how to construct non-separate Petri net embeddings. More... »

PAGES

188-207

Book

TITLE

Application and Theory of Petri Nets 1999

ISBN

978-3-540-66132-0
978-3-540-48745-6

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-48745-x_12

DOI

http://dx.doi.org/10.1007/3-540-48745-x_12

DIMENSIONS

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


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/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "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": "Massachusetts Institute of Technology", 
          "id": "https://www.grid.ac/institutes/grid.116068.8", 
          "name": [
            "Massachusetts Institute of Technology, 02139, Cambridge, MA, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Hadjicostis", 
        "givenName": "Christoforos N.", 
        "id": "sg:person.014115504167.18", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014115504167.18"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Massachusetts Institute of Technology", 
          "id": "https://www.grid.ac/institutes/grid.116068.8", 
          "name": [
            "Massachusetts Institute of Technology, 02139, Cambridge, MA, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Verghese", 
        "givenName": "George C.", 
        "id": "sg:person.0725124105.86", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0725124105.86"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/0005-1098(95)00103-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1036098626"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/5.21072", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061178998"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/5.24143", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061179070"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2003-04-18", 
    "datePublishedReg": "2003-04-18", 
    "description": "In this paper we discuss a methodology for monitoring failures and other activity in discrete event systems that are described by Petri nets. Our method is based on embedding the given Petri net model in a larger Petri net that retains the functionality and properties of the given one, perhaps in a non-separate (that is, not immediately identifiable) way. This redundant Petri net embedding introduces \u201cstructured redundancy\u201d that can be used to facilitate fault detection, identification and correction, or to offer increased capabilities for monitoring and control. We focus primarily on separate embeddings in which the functionality of the original Petri net is retained in its exact form. Using these embeddings, we construct monitors that operate concurrently with the original system and allow us to detect and identify different types of failures by performing consistency checks between the state of the original Petri net and that of the monitor. The methods that we propose are attractive because the resulting monitors are robust to failures, they may not require explicit acknowledgments from each activity, and their construction is systematic and easily adaptable to restrictions in the available information. We also discuss briefly how to construct non-separate Petri net embeddings.", 
    "editor": [
      {
        "familyName": "Donatelli", 
        "givenName": "Susanna", 
        "type": "Person"
      }, 
      {
        "familyName": "Kleijn", 
        "givenName": "Jetty", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-48745-x_12", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-66132-0", 
        "978-3-540-48745-6"
      ], 
      "name": "Application and Theory of Petri Nets 1999", 
      "type": "Book"
    }, 
    "name": "Monitoring Discrete Event Systems Using Petri Net Embeddings", 
    "pagination": "188-207", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-48745-x_12"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "01461ae534266fa269cc62698dfeea321ee765207b2aa2cb4fe8a6bcae2ab933"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1000267993"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-48745-x_12", 
      "https://app.dimensions.ai/details/publication/pub.1000267993"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T05:31", 
    "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/0000000346_0000000346/records_99809_00000000.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F3-540-48745-X_12"
  }
]
 

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/3-540-48745-x_12'

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/3-540-48745-x_12'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-48745-x_12'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-48745-x_12'


 

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

86 TRIPLES      23 PREDICATES      29 URIs      19 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-48745-x_12 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author Nd4bcdef3d79848cb8f86e7ef3b4a60bd
4 schema:citation https://doi.org/10.1016/0005-1098(95)00103-4
5 https://doi.org/10.1109/5.21072
6 https://doi.org/10.1109/5.24143
7 schema:datePublished 2003-04-18
8 schema:datePublishedReg 2003-04-18
9 schema:description In this paper we discuss a methodology for monitoring failures and other activity in discrete event systems that are described by Petri nets. Our method is based on embedding the given Petri net model in a larger Petri net that retains the functionality and properties of the given one, perhaps in a non-separate (that is, not immediately identifiable) way. This redundant Petri net embedding introduces “structured redundancy” that can be used to facilitate fault detection, identification and correction, or to offer increased capabilities for monitoring and control. We focus primarily on separate embeddings in which the functionality of the original Petri net is retained in its exact form. Using these embeddings, we construct monitors that operate concurrently with the original system and allow us to detect and identify different types of failures by performing consistency checks between the state of the original Petri net and that of the monitor. The methods that we propose are attractive because the resulting monitors are robust to failures, they may not require explicit acknowledgments from each activity, and their construction is systematic and easily adaptable to restrictions in the available information. We also discuss briefly how to construct non-separate Petri net embeddings.
10 schema:editor Na59b97c78e6f49d6940780980208a7c4
11 schema:genre chapter
12 schema:inLanguage en
13 schema:isAccessibleForFree true
14 schema:isPartOf Nee0511ed09f842bab9acb96b73504ef3
15 schema:name Monitoring Discrete Event Systems Using Petri Net Embeddings
16 schema:pagination 188-207
17 schema:productId N93f048577ec14988afc54af5f5699ba6
18 Nba89ba1b4dae4c788106f854b028436b
19 Ne37244a1312f4fd3801c4f83abcff7f0
20 schema:publisher Nf3a7093f4a524e90a868102965dc68ca
21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000267993
22 https://doi.org/10.1007/3-540-48745-x_12
23 schema:sdDatePublished 2019-04-16T05:31
24 schema:sdLicense https://scigraph.springernature.com/explorer/license/
25 schema:sdPublisher Nca204a21051a412d8aa687c08aaf84df
26 schema:url https://link.springer.com/10.1007%2F3-540-48745-X_12
27 sgo:license sg:explorer/license/
28 sgo:sdDataset chapters
29 rdf:type schema:Chapter
30 N20b17ad83bf84f9aa20d4f059b74f26e rdf:first sg:person.0725124105.86
31 rdf:rest rdf:nil
32 N93f048577ec14988afc54af5f5699ba6 schema:name readcube_id
33 schema:value 01461ae534266fa269cc62698dfeea321ee765207b2aa2cb4fe8a6bcae2ab933
34 rdf:type schema:PropertyValue
35 N97efade12d214b78920587dc5afd6d46 schema:familyName Donatelli
36 schema:givenName Susanna
37 rdf:type schema:Person
38 Na59b97c78e6f49d6940780980208a7c4 rdf:first N97efade12d214b78920587dc5afd6d46
39 rdf:rest Nbb98c91e7cd8421eb531afd97990c10d
40 Naab65e5bcefb42dab164f4a99402511e schema:familyName Kleijn
41 schema:givenName Jetty
42 rdf:type schema:Person
43 Nba89ba1b4dae4c788106f854b028436b schema:name doi
44 schema:value 10.1007/3-540-48745-x_12
45 rdf:type schema:PropertyValue
46 Nbb98c91e7cd8421eb531afd97990c10d rdf:first Naab65e5bcefb42dab164f4a99402511e
47 rdf:rest rdf:nil
48 Nca204a21051a412d8aa687c08aaf84df schema:name Springer Nature - SN SciGraph project
49 rdf:type schema:Organization
50 Nd4bcdef3d79848cb8f86e7ef3b4a60bd rdf:first sg:person.014115504167.18
51 rdf:rest N20b17ad83bf84f9aa20d4f059b74f26e
52 Ne37244a1312f4fd3801c4f83abcff7f0 schema:name dimensions_id
53 schema:value pub.1000267993
54 rdf:type schema:PropertyValue
55 Nee0511ed09f842bab9acb96b73504ef3 schema:isbn 978-3-540-48745-6
56 978-3-540-66132-0
57 schema:name Application and Theory of Petri Nets 1999
58 rdf:type schema:Book
59 Nf3a7093f4a524e90a868102965dc68ca schema:location Berlin, Heidelberg
60 schema:name Springer Berlin Heidelberg
61 rdf:type schema:Organisation
62 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
63 schema:name Information and Computing Sciences
64 rdf:type schema:DefinedTerm
65 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
66 schema:name Artificial Intelligence and Image Processing
67 rdf:type schema:DefinedTerm
68 sg:person.014115504167.18 schema:affiliation https://www.grid.ac/institutes/grid.116068.8
69 schema:familyName Hadjicostis
70 schema:givenName Christoforos N.
71 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014115504167.18
72 rdf:type schema:Person
73 sg:person.0725124105.86 schema:affiliation https://www.grid.ac/institutes/grid.116068.8
74 schema:familyName Verghese
75 schema:givenName George C.
76 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0725124105.86
77 rdf:type schema:Person
78 https://doi.org/10.1016/0005-1098(95)00103-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036098626
79 rdf:type schema:CreativeWork
80 https://doi.org/10.1109/5.21072 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061178998
81 rdf:type schema:CreativeWork
82 https://doi.org/10.1109/5.24143 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061179070
83 rdf:type schema:CreativeWork
84 https://www.grid.ac/institutes/grid.116068.8 schema:alternateName Massachusetts Institute of Technology
85 schema:name Massachusetts Institute of Technology, 02139, Cambridge, MA, USA
86 rdf:type schema:Organization
 




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


...