Linear time algorithms for liveness and boundedness in conflict-free Petri nets View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1992

AUTHORS

Paola Alimonti , Esteban Feuerstein , Umberto Nanni

ABSTRACT

N/A

PAGES

1-14

Book

TITLE

LATIN '92

ISBN

3-540-55284-7

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/bfb0023812

DOI

http://dx.doi.org/10.1007/bfb0023812

DIMENSIONS

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


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", 
    "author": [
      {
        "affiliation": {
          "alternateName": "Sapienza University of Rome", 
          "id": "https://www.grid.ac/institutes/grid.7841.a", 
          "name": [
            "Dipartimento di Informatica e Sistemistica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, via Salaria 113, I-00198\u00a0Roma, Italia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Alimonti", 
        "givenName": "Paola", 
        "id": "sg:person.015632520461.69", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015632520461.69"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Sapienza University of Rome", 
          "id": "https://www.grid.ac/institutes/grid.7841.a", 
          "name": [
            "Dipartimento di Informatica e Sistemistica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, via Salaria 113, I-00198\u00a0Roma, Italia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Feuerstein", 
        "givenName": "Esteban", 
        "id": "sg:person.015027130655.34", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015027130655.34"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of L'Aquila", 
          "id": "https://www.grid.ac/institutes/grid.158820.6", 
          "name": [
            "Dipartimento di Matematica Pura ed Applicata, Universit\u00e0 di L'Aquila, via Vetoio, I-67010\u00a0Coppito, L'Aquila, Italia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Nanni", 
        "givenName": "Umberto", 
        "id": "sg:person.013057545335.63", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013057545335.63"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1992", 
    "datePublishedReg": "1992-01-01", 
    "editor": [
      {
        "familyName": "Simon", 
        "givenName": "Imre", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/bfb0023812", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "3-540-55284-7"
      ], 
      "name": "LATIN '92", 
      "type": "Book"
    }, 
    "name": "Linear time algorithms for liveness and boundedness in conflict-free Petri nets", 
    "pagination": "1-14", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bfb0023812"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "8971571c74b4054aeeaeffd08d59a7aa5ca86d4b2c4929e4f65499fe2e35b10d"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1028851844"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin/Heidelberg", 
      "name": "Springer-Verlag", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/bfb0023812", 
      "https://app.dimensions.ai/details/publication/pub.1028851844"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T13:15", 
    "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_8664_00000049.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/BFb0023812"
  }
]
 

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/bfb0023812'

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/bfb0023812'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bfb0023812'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bfb0023812'


 

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

72 TRIPLES      20 PREDICATES      24 URIs      19 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bfb0023812 schema:author N8d7cc5d6012741cc92eb3c9ced2b8a9c
2 schema:datePublished 1992
3 schema:datePublishedReg 1992-01-01
4 schema:editor Na349a3ab18ac46009e635198cd667264
5 schema:genre chapter
6 schema:inLanguage en
7 schema:isAccessibleForFree false
8 schema:isPartOf Nf3965fd9303349c5bac040c11a60c641
9 schema:name Linear time algorithms for liveness and boundedness in conflict-free Petri nets
10 schema:pagination 1-14
11 schema:productId N03874429f8a040aca13f1e23f45cd0c9
12 N05146785c34c4240ba2c05b16a8e1dbd
13 N6a855a53fc194902808161e5dc41f785
14 schema:publisher N3f2e56b7b7904e3aa484214aa2b77f58
15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028851844
16 https://doi.org/10.1007/bfb0023812
17 schema:sdDatePublished 2019-04-15T13:15
18 schema:sdLicense https://scigraph.springernature.com/explorer/license/
19 schema:sdPublisher N4001d2979bbe4c2c8cc2adc58e56a1e0
20 schema:url http://link.springer.com/10.1007/BFb0023812
21 sgo:license sg:explorer/license/
22 sgo:sdDataset chapters
23 rdf:type schema:Chapter
24 N03874429f8a040aca13f1e23f45cd0c9 schema:name readcube_id
25 schema:value 8971571c74b4054aeeaeffd08d59a7aa5ca86d4b2c4929e4f65499fe2e35b10d
26 rdf:type schema:PropertyValue
27 N05146785c34c4240ba2c05b16a8e1dbd schema:name doi
28 schema:value 10.1007/bfb0023812
29 rdf:type schema:PropertyValue
30 N2d8eaee3bf444e62846c8fbb4b551e41 rdf:first sg:person.013057545335.63
31 rdf:rest rdf:nil
32 N3f2e56b7b7904e3aa484214aa2b77f58 schema:location Berlin/Heidelberg
33 schema:name Springer-Verlag
34 rdf:type schema:Organisation
35 N4001d2979bbe4c2c8cc2adc58e56a1e0 schema:name Springer Nature - SN SciGraph project
36 rdf:type schema:Organization
37 N6a855a53fc194902808161e5dc41f785 schema:name dimensions_id
38 schema:value pub.1028851844
39 rdf:type schema:PropertyValue
40 N867f9aced273466a9740194c4a775e0c schema:familyName Simon
41 schema:givenName Imre
42 rdf:type schema:Person
43 N8d7cc5d6012741cc92eb3c9ced2b8a9c rdf:first sg:person.015632520461.69
44 rdf:rest Nf5a48c9bf49a4eb185fc42d169231936
45 Na349a3ab18ac46009e635198cd667264 rdf:first N867f9aced273466a9740194c4a775e0c
46 rdf:rest rdf:nil
47 Nf3965fd9303349c5bac040c11a60c641 schema:isbn 3-540-55284-7
48 schema:name LATIN '92
49 rdf:type schema:Book
50 Nf5a48c9bf49a4eb185fc42d169231936 rdf:first sg:person.015027130655.34
51 rdf:rest N2d8eaee3bf444e62846c8fbb4b551e41
52 sg:person.013057545335.63 schema:affiliation https://www.grid.ac/institutes/grid.158820.6
53 schema:familyName Nanni
54 schema:givenName Umberto
55 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013057545335.63
56 rdf:type schema:Person
57 sg:person.015027130655.34 schema:affiliation https://www.grid.ac/institutes/grid.7841.a
58 schema:familyName Feuerstein
59 schema:givenName Esteban
60 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015027130655.34
61 rdf:type schema:Person
62 sg:person.015632520461.69 schema:affiliation https://www.grid.ac/institutes/grid.7841.a
63 schema:familyName Alimonti
64 schema:givenName Paola
65 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015632520461.69
66 rdf:type schema:Person
67 https://www.grid.ac/institutes/grid.158820.6 schema:alternateName University of L'Aquila
68 schema:name Dipartimento di Matematica Pura ed Applicata, Università di L'Aquila, via Vetoio, I-67010 Coppito, L'Aquila, Italia
69 rdf:type schema:Organization
70 https://www.grid.ac/institutes/grid.7841.a schema:alternateName Sapienza University of Rome
71 schema:name Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, via Salaria 113, I-00198 Roma, Italia
72 rdf:type schema:Organization
 




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


...