CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2000

AUTHORS

Jochen Beister , Gernot Eckstein , Ralf Wollowski

ABSTRACT

CASCADE is a tool kernel that supports the synthesis of asynchronous controllers. It uses a generalized STG (an interpreted Petri net) as a unified design entry and allows the designer to choose between several appropriate design methods. It then transforms the initial specification into the design entry required by the chosen style, and interfaces with existing synthesis tools (petrify for SI circuits, 3D for XBM synthesis). By decomposition, certain problems involving output concurrency and MOC behaviour are made XBM-feasible. More... »

PAGES

445-454

References to SciGraph publications

Book

TITLE

Application and Theory of Petri Nets 2000

ISBN

978-3-540-67693-5
978-3-540-44988-1

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-44988-4_25

DOI

http://dx.doi.org/10.1007/3-540-44988-4_25

DIMENSIONS

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


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/0305", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Organic Chemistry", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/03", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Chemical Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Kaiserslautern", 
          "id": "https://www.grid.ac/institutes/grid.7645.0", 
          "name": [
            "Department of Electrical Engineering, University of Kaiserslautern, P.O. Box 3049, D-67653\u00a0Kaiserslautern, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Beister", 
        "givenName": "Jochen", 
        "id": "sg:person.07756024441.51", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07756024441.51"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Infineon Technologies (Germany)", 
          "id": "https://www.grid.ac/institutes/grid.410337.2", 
          "name": [
            "Infineon Technologies, P.O. Box 801760, D-81617\u00a0Munich, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Eckstein", 
        "givenName": "Gernot", 
        "id": "sg:person.013170155531.25", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013170155531.25"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Kaiserslautern", 
          "id": "https://www.grid.ac/institutes/grid.7645.0", 
          "name": [
            "Department of Electrical Engineering, University of Kaiserslautern, P.O. Box 3049, D-67653\u00a0Kaiserslautern, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Wollowski", 
        "givenName": "Ralf", 
        "id": "sg:person.013666313531.32", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013666313531.32"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/978-1-4757-3143-9_1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1005848658", 
          "https://doi.org/10.1007/978-1-4757-3143-9_1"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/43.720313", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061173898"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/async.1999.761530", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1094207639"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2000", 
    "datePublishedReg": "2000-01-01", 
    "description": "CASCADE is a tool kernel that supports the synthesis of asynchronous controllers. It uses a generalized STG (an interpreted Petri net) as a unified design entry and allows the designer to choose between several appropriate design methods. It then transforms the initial specification into the design entry required by the chosen style, and interfaces with existing synthesis tools (petrify for SI circuits, 3D for XBM synthesis). By decomposition, certain problems involving output concurrency and MOC behaviour are made XBM-feasible.", 
    "editor": [
      {
        "familyName": "Nielsen", 
        "givenName": "Mogens", 
        "type": "Person"
      }, 
      {
        "familyName": "Simpson", 
        "givenName": "Dan", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-44988-4_25", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-67693-5", 
        "978-3-540-44988-1"
      ], 
      "name": "Application and Theory of Petri Nets 2000", 
      "type": "Book"
    }, 
    "name": "CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers", 
    "pagination": "445-454", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-44988-4_25"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "a51d1fa92d7bb445a33d85a9b2e6fdfcf177c4c87ea81b420a48240ee072b3b1"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1034661306"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-44988-4_25", 
      "https://app.dimensions.ai/details/publication/pub.1034661306"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T19:54", 
    "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_8687_00000059.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-44988-4_25"
  }
]
 

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-44988-4_25'

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-44988-4_25'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-44988-4_25'

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-44988-4_25'


 

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

97 TRIPLES      23 PREDICATES      30 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-44988-4_25 schema:about anzsrc-for:03
2 anzsrc-for:0305
3 schema:author N49379ae7d9f94a968028f49c0f32c200
4 schema:citation sg:pub.10.1007/978-1-4757-3143-9_1
5 https://doi.org/10.1109/43.720313
6 https://doi.org/10.1109/async.1999.761530
7 schema:datePublished 2000
8 schema:datePublishedReg 2000-01-01
9 schema:description CASCADE is a tool kernel that supports the synthesis of asynchronous controllers. It uses a generalized STG (an interpreted Petri net) as a unified design entry and allows the designer to choose between several appropriate design methods. It then transforms the initial specification into the design entry required by the chosen style, and interfaces with existing synthesis tools (petrify for SI circuits, 3D for XBM synthesis). By decomposition, certain problems involving output concurrency and MOC behaviour are made XBM-feasible.
10 schema:editor Nd870a416bedc436eb75aa5f6e877c5bd
11 schema:genre chapter
12 schema:inLanguage en
13 schema:isAccessibleForFree false
14 schema:isPartOf Nf411df9819994b689d895b6663cf77b7
15 schema:name CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers
16 schema:pagination 445-454
17 schema:productId Nb1bb0db3bf0e4b67873f58843438b7f9
18 Ne23e8293f37b410f932519f8c52a4839
19 Nf1f4bfbf5ebc41f9b16a674f0bb07004
20 schema:publisher N289cafbacc5445e0b1540ed3d5d5013f
21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034661306
22 https://doi.org/10.1007/3-540-44988-4_25
23 schema:sdDatePublished 2019-04-15T19:54
24 schema:sdLicense https://scigraph.springernature.com/explorer/license/
25 schema:sdPublisher N38ff4d5ce2dd43b6ac114d38fe6f14ae
26 schema:url http://link.springer.com/10.1007/3-540-44988-4_25
27 sgo:license sg:explorer/license/
28 sgo:sdDataset chapters
29 rdf:type schema:Chapter
30 N289cafbacc5445e0b1540ed3d5d5013f schema:location Berlin, Heidelberg
31 schema:name Springer Berlin Heidelberg
32 rdf:type schema:Organisation
33 N38ff4d5ce2dd43b6ac114d38fe6f14ae schema:name Springer Nature - SN SciGraph project
34 rdf:type schema:Organization
35 N444c78c407ac4c199d0de763c4850562 schema:familyName Nielsen
36 schema:givenName Mogens
37 rdf:type schema:Person
38 N49379ae7d9f94a968028f49c0f32c200 rdf:first sg:person.07756024441.51
39 rdf:rest Neafacb56abeb4ee3b9c42e1b3370c556
40 N945d7c7e44d74fcabc9885bf420d94ac rdf:first sg:person.013666313531.32
41 rdf:rest rdf:nil
42 N9cc9b88940d64e689b9785a855c4665f rdf:first Nadfd6c1e483c4aed80ccd63f625bead2
43 rdf:rest rdf:nil
44 Nadfd6c1e483c4aed80ccd63f625bead2 schema:familyName Simpson
45 schema:givenName Dan
46 rdf:type schema:Person
47 Nb1bb0db3bf0e4b67873f58843438b7f9 schema:name readcube_id
48 schema:value a51d1fa92d7bb445a33d85a9b2e6fdfcf177c4c87ea81b420a48240ee072b3b1
49 rdf:type schema:PropertyValue
50 Nd870a416bedc436eb75aa5f6e877c5bd rdf:first N444c78c407ac4c199d0de763c4850562
51 rdf:rest N9cc9b88940d64e689b9785a855c4665f
52 Ne23e8293f37b410f932519f8c52a4839 schema:name doi
53 schema:value 10.1007/3-540-44988-4_25
54 rdf:type schema:PropertyValue
55 Neafacb56abeb4ee3b9c42e1b3370c556 rdf:first sg:person.013170155531.25
56 rdf:rest N945d7c7e44d74fcabc9885bf420d94ac
57 Nf1f4bfbf5ebc41f9b16a674f0bb07004 schema:name dimensions_id
58 schema:value pub.1034661306
59 rdf:type schema:PropertyValue
60 Nf411df9819994b689d895b6663cf77b7 schema:isbn 978-3-540-44988-1
61 978-3-540-67693-5
62 schema:name Application and Theory of Petri Nets 2000
63 rdf:type schema:Book
64 anzsrc-for:03 schema:inDefinedTermSet anzsrc-for:
65 schema:name Chemical Sciences
66 rdf:type schema:DefinedTerm
67 anzsrc-for:0305 schema:inDefinedTermSet anzsrc-for:
68 schema:name Organic Chemistry
69 rdf:type schema:DefinedTerm
70 sg:person.013170155531.25 schema:affiliation https://www.grid.ac/institutes/grid.410337.2
71 schema:familyName Eckstein
72 schema:givenName Gernot
73 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013170155531.25
74 rdf:type schema:Person
75 sg:person.013666313531.32 schema:affiliation https://www.grid.ac/institutes/grid.7645.0
76 schema:familyName Wollowski
77 schema:givenName Ralf
78 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013666313531.32
79 rdf:type schema:Person
80 sg:person.07756024441.51 schema:affiliation https://www.grid.ac/institutes/grid.7645.0
81 schema:familyName Beister
82 schema:givenName Jochen
83 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07756024441.51
84 rdf:type schema:Person
85 sg:pub.10.1007/978-1-4757-3143-9_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005848658
86 https://doi.org/10.1007/978-1-4757-3143-9_1
87 rdf:type schema:CreativeWork
88 https://doi.org/10.1109/43.720313 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061173898
89 rdf:type schema:CreativeWork
90 https://doi.org/10.1109/async.1999.761530 schema:sameAs https://app.dimensions.ai/details/publication/pub.1094207639
91 rdf:type schema:CreativeWork
92 https://www.grid.ac/institutes/grid.410337.2 schema:alternateName Infineon Technologies (Germany)
93 schema:name Infineon Technologies, P.O. Box 801760, D-81617 Munich, Germany
94 rdf:type schema:Organization
95 https://www.grid.ac/institutes/grid.7645.0 schema:alternateName University of Kaiserslautern
96 schema:name Department of Electrical Engineering, University of Kaiserslautern, P.O. Box 3049, D-67653 Kaiserslautern, Germany
97 rdf:type schema:Organization
 




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


...