On the relationship of CCS and petri nets View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1984

AUTHORS

Ursula Goltz , Alan Mycroft

ABSTRACT

We give a partial order semantics to (pure) CCS via a translation into Petri nets and prove, that the interleaved behaviour of the resulting nets is equivalent to Milner's semantics. We show that a large class of CCS programs can be represented by finite nets and that this is impossible for the whole CCS. More... »

PAGES

196-208

References to SciGraph publications

  • 1979. Petri nets, event structures and domains in SEMANTICS OF CONCURRENT COMPUTATION
  • 2005-10-22. Event structure semantics for CCS and related languages in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 1984. A new definition of morphism on Petri nets in STACS 84
  • 1984. Partial order semantics versus interleaving semantics for CSP — like languages and its impact on fairness in AUTOMATA, LANGUAGES AND PROGRAMMING
  • Book

    TITLE

    Automata, Languages and Programming

    ISBN

    978-3-540-13345-2
    978-3-540-38886-9

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/3-540-13345-3_18

    DOI

    http://dx.doi.org/10.1007/3-540-13345-3_18

    DIMENSIONS

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


    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/0802", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computation Theory and Mathematics", 
            "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": "RWTH Aachen University", 
              "id": "https://www.grid.ac/institutes/grid.1957.a", 
              "name": [
                "Lehrstuhl f\u00fcr Informatik II, RWTH Aachen, B\u00fcchel 29\u201331, D-5100\u00a0Aachen, West-Germany"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Goltz", 
            "givenName": "Ursula", 
            "id": "sg:person.010363233531.15", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010363233531.15"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Chalmers University of Technology", 
              "id": "https://www.grid.ac/institutes/grid.5371.0", 
              "name": [
                "Institutionen f\u00f6r Informationsbehandling Chalmers Tekniska H\u00f6gskola, S-412 96\u00a0G\u00f6teborg, Sweden"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Mycroft", 
            "givenName": "Alan", 
            "id": "sg:person.016664267252.76", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016664267252.76"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/bfb0012800", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006383355", 
              "https://doi.org/10.1007/bfb0012800"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0012800", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006383355", 
              "https://doi.org/10.1007/bfb0012800"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-12920-0_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023917668", 
              "https://doi.org/10.1007/3-540-12920-0_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0022474", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030192045", 
              "https://doi.org/10.1007/bfb0022474"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-13345-3_37", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1053574631", 
              "https://doi.org/10.1007/3-540-13345-3_37"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1984", 
        "datePublishedReg": "1984-01-01", 
        "description": "We give a partial order semantics to (pure) CCS via a translation into Petri nets and prove, that the interleaved behaviour of the resulting nets is equivalent to Milner's semantics. We show that a large class of CCS programs can be represented by finite nets and that this is impossible for the whole CCS.", 
        "editor": [
          {
            "familyName": "Paredaens", 
            "givenName": "Jan", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/3-540-13345-3_18", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-540-13345-2", 
            "978-3-540-38886-9"
          ], 
          "name": "Automata, Languages and Programming", 
          "type": "Book"
        }, 
        "name": "On the relationship of CCS and petri nets", 
        "pagination": "196-208", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/3-540-13345-3_18"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "6a63bfae388ee809785a3fd1d35ef93d61a40820ad88e2b6d73206178fb45880"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1022331272"
            ]
          }
        ], 
        "publisher": {
          "location": "Berlin, Heidelberg", 
          "name": "Springer Berlin Heidelberg", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/3-540-13345-3_18", 
          "https://app.dimensions.ai/details/publication/pub.1022331272"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T19:52", 
        "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_00000038.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/3-540-13345-3_18"
      }
    ]
     

    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-13345-3_18'

    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-13345-3_18'

    Turtle is a human-readable linked data format.

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

    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-13345-3_18'


     

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

    91 TRIPLES      23 PREDICATES      31 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/3-540-13345-3_18 schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 schema:author Ne36dcebf1606407499af2a3836b2a767
    4 schema:citation sg:pub.10.1007/3-540-12920-0_13
    5 sg:pub.10.1007/3-540-13345-3_37
    6 sg:pub.10.1007/bfb0012800
    7 sg:pub.10.1007/bfb0022474
    8 schema:datePublished 1984
    9 schema:datePublishedReg 1984-01-01
    10 schema:description We give a partial order semantics to (pure) CCS via a translation into Petri nets and prove, that the interleaved behaviour of the resulting nets is equivalent to Milner's semantics. We show that a large class of CCS programs can be represented by finite nets and that this is impossible for the whole CCS.
    11 schema:editor Ne4c4ce84c9be48ce900aabaef2e68f33
    12 schema:genre chapter
    13 schema:inLanguage en
    14 schema:isAccessibleForFree false
    15 schema:isPartOf N1f04e8f4bffe48c89113dc527784aa2a
    16 schema:name On the relationship of CCS and petri nets
    17 schema:pagination 196-208
    18 schema:productId N4221c986525142129d92f4a612d7ac55
    19 N9ce6296f305a48798e853553970f21ca
    20 Ndd570a5b33424a03bbcc10ae5a079e55
    21 schema:publisher Nf7d6001ed5b04d538d3682fbabdbe7ce
    22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022331272
    23 https://doi.org/10.1007/3-540-13345-3_18
    24 schema:sdDatePublished 2019-04-15T19:52
    25 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    26 schema:sdPublisher Nc1c77c265f8d467096e7529850d09eff
    27 schema:url http://link.springer.com/10.1007/3-540-13345-3_18
    28 sgo:license sg:explorer/license/
    29 sgo:sdDataset chapters
    30 rdf:type schema:Chapter
    31 N1f04e8f4bffe48c89113dc527784aa2a schema:isbn 978-3-540-13345-2
    32 978-3-540-38886-9
    33 schema:name Automata, Languages and Programming
    34 rdf:type schema:Book
    35 N4221c986525142129d92f4a612d7ac55 schema:name doi
    36 schema:value 10.1007/3-540-13345-3_18
    37 rdf:type schema:PropertyValue
    38 N9ce6296f305a48798e853553970f21ca schema:name readcube_id
    39 schema:value 6a63bfae388ee809785a3fd1d35ef93d61a40820ad88e2b6d73206178fb45880
    40 rdf:type schema:PropertyValue
    41 Nc1c77c265f8d467096e7529850d09eff schema:name Springer Nature - SN SciGraph project
    42 rdf:type schema:Organization
    43 Ndb36680e484a4b14990a2f536bfaa21d schema:familyName Paredaens
    44 schema:givenName Jan
    45 rdf:type schema:Person
    46 Ndd570a5b33424a03bbcc10ae5a079e55 schema:name dimensions_id
    47 schema:value pub.1022331272
    48 rdf:type schema:PropertyValue
    49 Ne36dcebf1606407499af2a3836b2a767 rdf:first sg:person.010363233531.15
    50 rdf:rest Nef0762e3ecdd438b8a157ca2e6c33e17
    51 Ne4c4ce84c9be48ce900aabaef2e68f33 rdf:first Ndb36680e484a4b14990a2f536bfaa21d
    52 rdf:rest rdf:nil
    53 Nef0762e3ecdd438b8a157ca2e6c33e17 rdf:first sg:person.016664267252.76
    54 rdf:rest rdf:nil
    55 Nf7d6001ed5b04d538d3682fbabdbe7ce schema:location Berlin, Heidelberg
    56 schema:name Springer Berlin Heidelberg
    57 rdf:type schema:Organisation
    58 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    59 schema:name Information and Computing Sciences
    60 rdf:type schema:DefinedTerm
    61 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    62 schema:name Computation Theory and Mathematics
    63 rdf:type schema:DefinedTerm
    64 sg:person.010363233531.15 schema:affiliation https://www.grid.ac/institutes/grid.1957.a
    65 schema:familyName Goltz
    66 schema:givenName Ursula
    67 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010363233531.15
    68 rdf:type schema:Person
    69 sg:person.016664267252.76 schema:affiliation https://www.grid.ac/institutes/grid.5371.0
    70 schema:familyName Mycroft
    71 schema:givenName Alan
    72 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016664267252.76
    73 rdf:type schema:Person
    74 sg:pub.10.1007/3-540-12920-0_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023917668
    75 https://doi.org/10.1007/3-540-12920-0_13
    76 rdf:type schema:CreativeWork
    77 sg:pub.10.1007/3-540-13345-3_37 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053574631
    78 https://doi.org/10.1007/3-540-13345-3_37
    79 rdf:type schema:CreativeWork
    80 sg:pub.10.1007/bfb0012800 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006383355
    81 https://doi.org/10.1007/bfb0012800
    82 rdf:type schema:CreativeWork
    83 sg:pub.10.1007/bfb0022474 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030192045
    84 https://doi.org/10.1007/bfb0022474
    85 rdf:type schema:CreativeWork
    86 https://www.grid.ac/institutes/grid.1957.a schema:alternateName RWTH Aachen University
    87 schema:name Lehrstuhl für Informatik II, RWTH Aachen, Büchel 29–31, D-5100 Aachen, West-Germany
    88 rdf:type schema:Organization
    89 https://www.grid.ac/institutes/grid.5371.0 schema:alternateName Chalmers University of Technology
    90 schema:name Institutionen för Informationsbehandling Chalmers Tekniska Högskola, S-412 96 Göteborg, Sweden
    91 rdf:type schema:Organization
     




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


    ...