Control of Safe Ordinary Petri Nets Using Unfolding View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2005-12

AUTHORS

Alessandro Giua, Xiaolan Xie

ABSTRACT

In this paper we deal with the problem of controlling a safe place/transition net so as to avoid a set of forbidden markings . We say that a given set of markings has property REACH if it is closed under the reachability operator. We assume that all transitions of the net are controllable and that the set of forbidden markings has the property REACH. The technique of unfolding is used to design a maximally permissive supervisor to solve this control problem. The supervisor takes the form of a set of control places to be added to the unfolding of the original net. The approach is also extended to the problem of preventing a larger set of impending forbidden marking. This is a superset of the forbidden markings that also includes all those markings from which—unless the supervisor blocks the plant—a marking in is inevitably reached in a finite number of steps. Finally, we consider the particular case in which the control objective is that of designing a maximally permissive supervisor for deadlock avoidance and we show that in this particular case our procedure can be efficiently implemented by means of linear algebraic techniques. More... »

PAGES

349-373

References to SciGraph publications

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s10626-005-4057-z

DOI

http://dx.doi.org/10.1007/s10626-005-4057-z

DIMENSIONS

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


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/0102", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Applied Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "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, Piazza d'Armi, 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": "Mines Saint-Etienne", 
          "id": "https://www.grid.ac/institutes/grid.424462.2", 
          "name": [
            "Ecole Nationale Sup\u00e9rieure des Mines de Saint-Etienne, 158 cours Fauriel, 42023, Saint-Etienne cedex 2, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Xie", 
        "givenName": "Xiaolan", 
        "id": "sg:person.012320302025.68", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012320302025.68"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1023/a:1014746130920", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1005669454", 
          "https://doi.org/10.1023/a:1014746130920"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01384314", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1011757817", 
          "https://doi.org/10.1007/bf01384314"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01384314", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1011757817", 
          "https://doi.org/10.1007/bf01384314"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1023/a:1008241818642", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1025191082", 
          "https://doi.org/10.1023/a:1008241818642"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.3182/20050703-6-cz-1902.00297", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1028054209"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-44988-4_14", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029951710", 
          "https://doi.org/10.1007/3-540-44988-4_14"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-53863-1_36", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1042448508", 
          "https://doi.org/10.1007/3-540-53863-1_36"
        ], 
        "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"
      }, 
      {
        "id": "https://doi.org/10.1109/70.370500", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061216163"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/70.650158", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061216475"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/9.956052", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061246831"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tac.2002.800641", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061475010"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tac.2003.811249", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061475291"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tac.2003.819076", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061475461"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/tac.2004.831162", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061475678"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s1474-6670(17)30723-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1085386787"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/icsmc.1992.271666", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1086261438"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/cca.1999.801189", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095534529"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-60761-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109702730", 
          "https://doi.org/10.1007/3-540-60761-7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-60761-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109702730", 
          "https://doi.org/10.1007/3-540-60761-7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-60761-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1109702730", 
          "https://doi.org/10.1007/3-540-60761-7"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2005-12", 
    "datePublishedReg": "2005-12-01", 
    "description": "In this paper we deal with the problem of controlling a safe place/transition net so as to avoid a set of forbidden markings . We say that a given set of markings has property REACH if it is closed under the reachability operator. We assume that all transitions of the net are controllable and that the set of forbidden markings has the property REACH. The technique of unfolding is used to design a maximally permissive supervisor to solve this control problem. The supervisor takes the form of a set of control places to be added to the unfolding of the original net. The approach is also extended to the problem of preventing a larger set of impending forbidden marking. This is a superset of the forbidden markings that also includes all those markings from which\u2014unless the supervisor blocks the plant\u2014a marking in is inevitably reached in a finite number of steps. Finally, we consider the particular case in which the control objective is that of designing a maximally permissive supervisor for deadlock avoidance and we show that in this particular case our procedure can be efficiently implemented by means of linear algebraic techniques.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/s10626-005-4057-z", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": [
      {
        "id": "sg:journal.1136419", 
        "issn": [
          "0924-6703", 
          "1573-7594"
        ], 
        "name": "Discrete Event Dynamic Systems", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "4", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "15"
      }
    ], 
    "name": "Control of Safe Ordinary Petri Nets Using Unfolding", 
    "pagination": "349-373", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "7124b2d12ae7e292a55b1a0a84670c3edb8a388523daed23d55527d22366e0d9"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s10626-005-4057-z"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1023748584"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s10626-005-4057-z", 
      "https://app.dimensions.ai/details/publication/pub.1023748584"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T13:23", 
    "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/0000000369_0000000369/records_68953_00000000.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007/s10626-005-4057-z"
  }
]
 

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-4057-z'

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-4057-z'

Turtle is a human-readable linked data format.

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

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-4057-z'


 

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

134 TRIPLES      21 PREDICATES      46 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s10626-005-4057-z schema:about anzsrc-for:01
2 anzsrc-for:0102
3 schema:author Nd9d3244c2a474ea2bff3165e76fee61c
4 schema:citation sg:pub.10.1007/3-540-44988-4_14
5 sg:pub.10.1007/3-540-53863-1_36
6 sg:pub.10.1007/3-540-60761-7
7 sg:pub.10.1007/bf01384314
8 sg:pub.10.1023/a:1008241818642
9 sg:pub.10.1023/a:1014746130920
10 https://doi.org/10.1016/s1474-6670(17)30723-1
11 https://doi.org/10.1109/5.21072
12 https://doi.org/10.1109/5.24143
13 https://doi.org/10.1109/70.370500
14 https://doi.org/10.1109/70.650158
15 https://doi.org/10.1109/9.956052
16 https://doi.org/10.1109/cca.1999.801189
17 https://doi.org/10.1109/icsmc.1992.271666
18 https://doi.org/10.1109/tac.2002.800641
19 https://doi.org/10.1109/tac.2003.811249
20 https://doi.org/10.1109/tac.2003.819076
21 https://doi.org/10.1109/tac.2004.831162
22 https://doi.org/10.3182/20050703-6-cz-1902.00297
23 schema:datePublished 2005-12
24 schema:datePublishedReg 2005-12-01
25 schema:description In this paper we deal with the problem of controlling a safe place/transition net so as to avoid a set of forbidden markings . We say that a given set of markings has property REACH if it is closed under the reachability operator. We assume that all transitions of the net are controllable and that the set of forbidden markings has the property REACH. The technique of unfolding is used to design a maximally permissive supervisor to solve this control problem. The supervisor takes the form of a set of control places to be added to the unfolding of the original net. The approach is also extended to the problem of preventing a larger set of impending forbidden marking. This is a superset of the forbidden markings that also includes all those markings from which—unless the supervisor blocks the plant—a marking in is inevitably reached in a finite number of steps. Finally, we consider the particular case in which the control objective is that of designing a maximally permissive supervisor for deadlock avoidance and we show that in this particular case our procedure can be efficiently implemented by means of linear algebraic techniques.
26 schema:genre research_article
27 schema:inLanguage en
28 schema:isAccessibleForFree true
29 schema:isPartOf N0451146f89664a009b96483cf708fdf5
30 Ne696199932b4441587748fdf034b61e8
31 sg:journal.1136419
32 schema:name Control of Safe Ordinary Petri Nets Using Unfolding
33 schema:pagination 349-373
34 schema:productId N3963dbfa2c834703ba7655d839329190
35 N6d6fe1c4996c498d945d967dae000649
36 Neb1e9854506d4cf896e3d0bd9eae8b97
37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023748584
38 https://doi.org/10.1007/s10626-005-4057-z
39 schema:sdDatePublished 2019-04-11T13:23
40 schema:sdLicense https://scigraph.springernature.com/explorer/license/
41 schema:sdPublisher Nd049686a449043868667365d46f6db7a
42 schema:url http://link.springer.com/10.1007/s10626-005-4057-z
43 sgo:license sg:explorer/license/
44 sgo:sdDataset articles
45 rdf:type schema:ScholarlyArticle
46 N0451146f89664a009b96483cf708fdf5 schema:issueNumber 4
47 rdf:type schema:PublicationIssue
48 N3963dbfa2c834703ba7655d839329190 schema:name doi
49 schema:value 10.1007/s10626-005-4057-z
50 rdf:type schema:PropertyValue
51 N6d6fe1c4996c498d945d967dae000649 schema:name readcube_id
52 schema:value 7124b2d12ae7e292a55b1a0a84670c3edb8a388523daed23d55527d22366e0d9
53 rdf:type schema:PropertyValue
54 N90c7899dba4a4e1ab1f427e3b9ea595d rdf:first sg:person.012320302025.68
55 rdf:rest rdf:nil
56 Nd049686a449043868667365d46f6db7a schema:name Springer Nature - SN SciGraph project
57 rdf:type schema:Organization
58 Nd9d3244c2a474ea2bff3165e76fee61c rdf:first sg:person.016465545631.91
59 rdf:rest N90c7899dba4a4e1ab1f427e3b9ea595d
60 Ne696199932b4441587748fdf034b61e8 schema:volumeNumber 15
61 rdf:type schema:PublicationVolume
62 Neb1e9854506d4cf896e3d0bd9eae8b97 schema:name dimensions_id
63 schema:value pub.1023748584
64 rdf:type schema:PropertyValue
65 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
66 schema:name Mathematical Sciences
67 rdf:type schema:DefinedTerm
68 anzsrc-for:0102 schema:inDefinedTermSet anzsrc-for:
69 schema:name Applied Mathematics
70 rdf:type schema:DefinedTerm
71 sg:journal.1136419 schema:issn 0924-6703
72 1573-7594
73 schema:name Discrete Event Dynamic Systems
74 rdf:type schema:Periodical
75 sg:person.012320302025.68 schema:affiliation https://www.grid.ac/institutes/grid.424462.2
76 schema:familyName Xie
77 schema:givenName Xiaolan
78 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012320302025.68
79 rdf:type schema:Person
80 sg:person.016465545631.91 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
81 schema:familyName Giua
82 schema:givenName Alessandro
83 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016465545631.91
84 rdf:type schema:Person
85 sg:pub.10.1007/3-540-44988-4_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029951710
86 https://doi.org/10.1007/3-540-44988-4_14
87 rdf:type schema:CreativeWork
88 sg:pub.10.1007/3-540-53863-1_36 schema:sameAs https://app.dimensions.ai/details/publication/pub.1042448508
89 https://doi.org/10.1007/3-540-53863-1_36
90 rdf:type schema:CreativeWork
91 sg:pub.10.1007/3-540-60761-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1109702730
92 https://doi.org/10.1007/3-540-60761-7
93 rdf:type schema:CreativeWork
94 sg:pub.10.1007/bf01384314 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011757817
95 https://doi.org/10.1007/bf01384314
96 rdf:type schema:CreativeWork
97 sg:pub.10.1023/a:1008241818642 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025191082
98 https://doi.org/10.1023/a:1008241818642
99 rdf:type schema:CreativeWork
100 sg:pub.10.1023/a:1014746130920 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005669454
101 https://doi.org/10.1023/a:1014746130920
102 rdf:type schema:CreativeWork
103 https://doi.org/10.1016/s1474-6670(17)30723-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1085386787
104 rdf:type schema:CreativeWork
105 https://doi.org/10.1109/5.21072 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061178998
106 rdf:type schema:CreativeWork
107 https://doi.org/10.1109/5.24143 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061179070
108 rdf:type schema:CreativeWork
109 https://doi.org/10.1109/70.370500 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061216163
110 rdf:type schema:CreativeWork
111 https://doi.org/10.1109/70.650158 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061216475
112 rdf:type schema:CreativeWork
113 https://doi.org/10.1109/9.956052 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061246831
114 rdf:type schema:CreativeWork
115 https://doi.org/10.1109/cca.1999.801189 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095534529
116 rdf:type schema:CreativeWork
117 https://doi.org/10.1109/icsmc.1992.271666 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086261438
118 rdf:type schema:CreativeWork
119 https://doi.org/10.1109/tac.2002.800641 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061475010
120 rdf:type schema:CreativeWork
121 https://doi.org/10.1109/tac.2003.811249 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061475291
122 rdf:type schema:CreativeWork
123 https://doi.org/10.1109/tac.2003.819076 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061475461
124 rdf:type schema:CreativeWork
125 https://doi.org/10.1109/tac.2004.831162 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061475678
126 rdf:type schema:CreativeWork
127 https://doi.org/10.3182/20050703-6-cz-1902.00297 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028054209
128 rdf:type schema:CreativeWork
129 https://www.grid.ac/institutes/grid.424462.2 schema:alternateName Mines Saint-Etienne
130 schema:name Ecole Nationale Supérieure des Mines de Saint-Etienne, 158 cours Fauriel, 42023, Saint-Etienne cedex 2, France
131 rdf:type schema:Organization
132 https://www.grid.ac/institutes/grid.7763.5 schema:alternateName University of Cagliari
133 schema:name Dip. di Ingegneria Elettrica ed Elettronica, Università di Cagliari, Piazza d'Armi, 09123, Cagliari, Italy
134 rdf:type schema:Organization
 




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


...