Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2004-06

AUTHORS

Francesco Basile, Pasquale Chiacchio, Valeria Vittorini, Nicola Mazzocca

ABSTRACT

This paper deals with the definition of a general approach to the modeling and control specification of flexible manufacturing systems (FMS). The development and the analysis of complex FMS models can greatly benefit from the automatic synthesis of the complete models and the availability of a graphic tool to describe them in a concise way. The automatic synthesis helps the designer to succeed in the error-prone task of building complex Petri net models or sequential functional charts, while the graphic representation makes it easier to understand them. The paper puts together a trace-based formal specification method and a compositional Petri nets approach with predefined building blocks, leading to a unified framework whose goal is to cope with the complexity of the FMSs behaviors and constraints. The problem of logic controller specification is also considered introducing in the behavior description the interaction with the environment via input and output signals. More... »

PAGES

351-371

References to SciGraph publications

Identifiers

URI

http://scigraph.springernature.com/pub.10.1023/b:jims.0000026573.94990.d5

DOI

http://dx.doi.org/10.1023/b:jims.0000026573.94990.d5

DIMENSIONS

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


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/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "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 Salerno", 
          "id": "https://www.grid.ac/institutes/grid.11780.3f", 
          "name": [
            "Dipartimento di Ingegneria Elettrica e dell\u2019Informazione, Universit\u00e1 degli Studi di Salerno, Via Ponte Don Melillo 1, 84084, Fisciano (SA), Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Basile", 
        "givenName": "Francesco", 
        "id": "sg:person.015205030603.96", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015205030603.96"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Naples Federico II", 
          "id": "https://www.grid.ac/institutes/grid.4691.a", 
          "name": [
            "Dipartimento di Informatica e Sistemistica, Universit\u00e1 degli Studi di Napoli Federico II, Via Claudio 21, 80125, Napoli, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Chiacchio", 
        "givenName": "Pasquale", 
        "id": "sg:person.013342637106.05", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013342637106.05"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Naples Federico II", 
          "id": "https://www.grid.ac/institutes/grid.4691.a", 
          "name": [
            "Dipartimento di Informatica e Sistemistica, Universit\u00e1 degli Studi di Napoli Federico II, Via Claudio 21, 80125, Napoli, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Vittorini", 
        "givenName": "Valeria", 
        "id": "sg:person.07422177342.59", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07422177342.59"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Second University of Naples", 
          "id": "https://www.grid.ac/institutes/grid.9841.4", 
          "name": [
            "Dipartimento di Ingegneria dell\u2019Informazione, Seconda Universit\u00e1 di Napoli, Via Roma 29, 81031, Aversa (CE), Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Mazzocca", 
        "givenName": "Nicola", 
        "id": "sg:person.013022066270.58", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013022066270.58"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/0005-1098(92)90061-j", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1011034857"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0005-1098(92)90061-j", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1011034857"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0022-0000(83)90029-6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1025951023"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1035205543", 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4615-3126-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1035205543", 
          "https://doi.org/10.1007/978-1-4615-3126-5"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4615-3126-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1035205543", 
          "https://doi.org/10.1007/978-1-4615-3126-5"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1093/comjnl/41.3.145", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1059479156"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/21.135693", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061121391"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/21.214792", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061121590"
        ], 
        "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.143353", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061215922"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/70.585895", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061216394"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/70.585896", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061216395"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/70.63259", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061216464"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/87.406973", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061241559"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2004-06", 
    "datePublishedReg": "2004-06-01", 
    "description": "This paper deals with the definition of a general approach to the modeling and control specification of flexible manufacturing systems (FMS). The development and the analysis of complex FMS models can greatly benefit from the automatic synthesis of the complete models and the availability of a graphic tool to describe them in a concise way. The automatic synthesis helps the designer to succeed in the error-prone task of building complex Petri net models or sequential functional charts, while the graphic representation makes it easier to understand them. The paper puts together a trace-based formal specification method and a compositional Petri nets approach with predefined building blocks, leading to a unified framework whose goal is to cope with the complexity of the FMSs behaviors and constraints. The problem of logic controller specification is also considered introducing in the behavior description the interaction with the environment via input and output signals.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1023/b:jims.0000026573.94990.d5", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1043477", 
        "issn": [
          "0956-5515", 
          "1572-8145"
        ], 
        "name": "Journal of Intelligent Manufacturing", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "3", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "15"
      }
    ], 
    "name": "Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks", 
    "pagination": "351-371", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "3e16fc05a03730389ce483a58bb76a4c111d2bdd6a8dad00598ae6bd4c44c4e5"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1023/b:jims.0000026573.94990.d5"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1013033213"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1023/b:jims.0000026573.94990.d5", 
      "https://app.dimensions.ai/details/publication/pub.1013033213"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-10T14:07", 
    "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_8660_00000504.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1023%2FB%3AJIMS.0000026573.94990.d5"
  }
]
 

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.1023/b:jims.0000026573.94990.d5'

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.1023/b:jims.0000026573.94990.d5'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1023/b:jims.0000026573.94990.d5'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1023/b:jims.0000026573.94990.d5'


 

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

127 TRIPLES      21 PREDICATES      40 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1023/b:jims.0000026573.94990.d5 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N172da4f0a63f47b7a16d18879ec05564
4 schema:citation sg:pub.10.1007/978-1-4615-3126-5
5 https://app.dimensions.ai/details/publication/pub.1035205543
6 https://doi.org/10.1016/0005-1098(92)90061-j
7 https://doi.org/10.1016/0022-0000(83)90029-6
8 https://doi.org/10.1093/comjnl/41.3.145
9 https://doi.org/10.1109/21.135693
10 https://doi.org/10.1109/21.214792
11 https://doi.org/10.1109/5.24143
12 https://doi.org/10.1109/70.143353
13 https://doi.org/10.1109/70.585895
14 https://doi.org/10.1109/70.585896
15 https://doi.org/10.1109/70.63259
16 https://doi.org/10.1109/87.406973
17 schema:datePublished 2004-06
18 schema:datePublishedReg 2004-06-01
19 schema:description This paper deals with the definition of a general approach to the modeling and control specification of flexible manufacturing systems (FMS). The development and the analysis of complex FMS models can greatly benefit from the automatic synthesis of the complete models and the availability of a graphic tool to describe them in a concise way. The automatic synthesis helps the designer to succeed in the error-prone task of building complex Petri net models or sequential functional charts, while the graphic representation makes it easier to understand them. The paper puts together a trace-based formal specification method and a compositional Petri nets approach with predefined building blocks, leading to a unified framework whose goal is to cope with the complexity of the FMSs behaviors and constraints. The problem of logic controller specification is also considered introducing in the behavior description the interaction with the environment via input and output signals.
20 schema:genre research_article
21 schema:inLanguage en
22 schema:isAccessibleForFree false
23 schema:isPartOf N843f61905be84377b28bf7084230264f
24 N8536eced337844568b2004a2849f190c
25 sg:journal.1043477
26 schema:name Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks
27 schema:pagination 351-371
28 schema:productId N03a1f57f73b14636a84399ee257a1b92
29 N45b22c7d193e4d6c9ea53587af7ef1f0
30 N84e1fd5e482a48b5a772b766414cc742
31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013033213
32 https://doi.org/10.1023/b:jims.0000026573.94990.d5
33 schema:sdDatePublished 2019-04-10T14:07
34 schema:sdLicense https://scigraph.springernature.com/explorer/license/
35 schema:sdPublisher Nb808de5076384566b494415b2f25e06a
36 schema:url http://link.springer.com/10.1023%2FB%3AJIMS.0000026573.94990.d5
37 sgo:license sg:explorer/license/
38 sgo:sdDataset articles
39 rdf:type schema:ScholarlyArticle
40 N03a1f57f73b14636a84399ee257a1b92 schema:name doi
41 schema:value 10.1023/b:jims.0000026573.94990.d5
42 rdf:type schema:PropertyValue
43 N0cdc6035a05e4222a3f7ed2650071ac2 rdf:first sg:person.013022066270.58
44 rdf:rest rdf:nil
45 N172da4f0a63f47b7a16d18879ec05564 rdf:first sg:person.015205030603.96
46 rdf:rest Nb6ebe51e879c4e76b2675580ec5aaeb7
47 N45b22c7d193e4d6c9ea53587af7ef1f0 schema:name dimensions_id
48 schema:value pub.1013033213
49 rdf:type schema:PropertyValue
50 N843f61905be84377b28bf7084230264f schema:issueNumber 3
51 rdf:type schema:PublicationIssue
52 N84e1fd5e482a48b5a772b766414cc742 schema:name readcube_id
53 schema:value 3e16fc05a03730389ce483a58bb76a4c111d2bdd6a8dad00598ae6bd4c44c4e5
54 rdf:type schema:PropertyValue
55 N8536eced337844568b2004a2849f190c schema:volumeNumber 15
56 rdf:type schema:PublicationVolume
57 Nb6ebe51e879c4e76b2675580ec5aaeb7 rdf:first sg:person.013342637106.05
58 rdf:rest Nc1fcf882919c478dbcbb2d2c23047684
59 Nb808de5076384566b494415b2f25e06a schema:name Springer Nature - SN SciGraph project
60 rdf:type schema:Organization
61 Nc1fcf882919c478dbcbb2d2c23047684 rdf:first sg:person.07422177342.59
62 rdf:rest N0cdc6035a05e4222a3f7ed2650071ac2
63 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
64 schema:name Information and Computing Sciences
65 rdf:type schema:DefinedTerm
66 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
67 schema:name Computer Software
68 rdf:type schema:DefinedTerm
69 sg:journal.1043477 schema:issn 0956-5515
70 1572-8145
71 schema:name Journal of Intelligent Manufacturing
72 rdf:type schema:Periodical
73 sg:person.013022066270.58 schema:affiliation https://www.grid.ac/institutes/grid.9841.4
74 schema:familyName Mazzocca
75 schema:givenName Nicola
76 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013022066270.58
77 rdf:type schema:Person
78 sg:person.013342637106.05 schema:affiliation https://www.grid.ac/institutes/grid.4691.a
79 schema:familyName Chiacchio
80 schema:givenName Pasquale
81 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013342637106.05
82 rdf:type schema:Person
83 sg:person.015205030603.96 schema:affiliation https://www.grid.ac/institutes/grid.11780.3f
84 schema:familyName Basile
85 schema:givenName Francesco
86 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015205030603.96
87 rdf:type schema:Person
88 sg:person.07422177342.59 schema:affiliation https://www.grid.ac/institutes/grid.4691.a
89 schema:familyName Vittorini
90 schema:givenName Valeria
91 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07422177342.59
92 rdf:type schema:Person
93 sg:pub.10.1007/978-1-4615-3126-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035205543
94 https://doi.org/10.1007/978-1-4615-3126-5
95 rdf:type schema:CreativeWork
96 https://app.dimensions.ai/details/publication/pub.1035205543 schema:CreativeWork
97 https://doi.org/10.1016/0005-1098(92)90061-j schema:sameAs https://app.dimensions.ai/details/publication/pub.1011034857
98 rdf:type schema:CreativeWork
99 https://doi.org/10.1016/0022-0000(83)90029-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025951023
100 rdf:type schema:CreativeWork
101 https://doi.org/10.1093/comjnl/41.3.145 schema:sameAs https://app.dimensions.ai/details/publication/pub.1059479156
102 rdf:type schema:CreativeWork
103 https://doi.org/10.1109/21.135693 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061121391
104 rdf:type schema:CreativeWork
105 https://doi.org/10.1109/21.214792 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061121590
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.143353 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061215922
110 rdf:type schema:CreativeWork
111 https://doi.org/10.1109/70.585895 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061216394
112 rdf:type schema:CreativeWork
113 https://doi.org/10.1109/70.585896 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061216395
114 rdf:type schema:CreativeWork
115 https://doi.org/10.1109/70.63259 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061216464
116 rdf:type schema:CreativeWork
117 https://doi.org/10.1109/87.406973 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061241559
118 rdf:type schema:CreativeWork
119 https://www.grid.ac/institutes/grid.11780.3f schema:alternateName University of Salerno
120 schema:name Dipartimento di Ingegneria Elettrica e dell’Informazione, Universitá degli Studi di Salerno, Via Ponte Don Melillo 1, 84084, Fisciano (SA), Italy
121 rdf:type schema:Organization
122 https://www.grid.ac/institutes/grid.4691.a schema:alternateName University of Naples Federico II
123 schema:name Dipartimento di Informatica e Sistemistica, Universitá degli Studi di Napoli Federico II, Via Claudio 21, 80125, Napoli, Italy
124 rdf:type schema:Organization
125 https://www.grid.ac/institutes/grid.9841.4 schema:alternateName Second University of Naples
126 schema:name Dipartimento di Ingegneria dell’Informazione, Seconda Universitá di Napoli, Via Roma 29, 81031, Aversa (CE), Italy
127 rdf:type schema:Organization
 




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


...