Linear algebraic and linear programming techniques for the analysis of place/transition net systems View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1998

AUTHORS

Manuel Silva , Enrique Terue , José Manuel Colom

ABSTRACT

The structure theory of Place/Transition net systems is surveyed — incorporating new contributions — in a tutorial style, mainly from a linear algebraic perspective. Topics included are: state equation based analysis of safety properties (e.g., boundedness, mutual exclusion, deadlock-freeness, etc.), linear invariants, siphons and traps, implicit places and their application to improve the accuracy of the state equation, and rank theorems (structural conditions for liveness and boundedness based on the rank of the incidence matrix). More... »

PAGES

309-373

Book

TITLE

Lectures on Petri Nets I: Basic Models

ISBN

978-3-540-65306-6
978-3-540-49442-3

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-65306-6_19

DOI

http://dx.doi.org/10.1007/3-540-65306-6_19

DIMENSIONS

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


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/0101", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Pure 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 Zaragoza", 
          "id": "https://www.grid.ac/institutes/grid.11205.37", 
          "name": [
            "Dep. Inform\u00e1tica e Ingenieri\u00e1 de Sistemas, CPS, Universidad de Zaragoza, Maria de Luna 3, E-50015\u00a0Zaragoza, Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Silva", 
        "givenName": "Manuel", 
        "id": "sg:person.013406576107.14", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013406576107.14"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Zaragoza", 
          "id": "https://www.grid.ac/institutes/grid.11205.37", 
          "name": [
            "Dep. Inform\u00e1tica e Ingenieri\u00e1 de Sistemas, CPS, Universidad de Zaragoza, Maria de Luna 3, E-50015\u00a0Zaragoza, Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Terue", 
        "givenName": "Enrique", 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Zaragoza", 
          "id": "https://www.grid.ac/institutes/grid.11205.37", 
          "name": [
            "Dep. Inform\u00e1tica e Ingenieri\u00e1 de Sistemas, CPS, Universidad de Zaragoza, Maria de Luna 3, E-50015\u00a0Zaragoza, Spain"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Colom", 
        "givenName": "Jos\u00e9 Manuel", 
        "id": "sg:person.016005103353.68", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016005103353.68"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1998", 
    "datePublishedReg": "1998-01-01", 
    "description": "The structure theory of Place/Transition net systems is surveyed \u2014 incorporating new contributions \u2014 in a tutorial style, mainly from a linear algebraic perspective. Topics included are: state equation based analysis of safety properties (e.g., boundedness, mutual exclusion, deadlock-freeness, etc.), linear invariants, siphons and traps, implicit places and their application to improve the accuracy of the state equation, and rank theorems (structural conditions for liveness and boundedness based on the rank of the incidence matrix).", 
    "editor": [
      {
        "familyName": "Reisig", 
        "givenName": "Wolfgang", 
        "type": "Person"
      }, 
      {
        "familyName": "Rozenberg", 
        "givenName": "Grzegorz", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-65306-6_19", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-65306-6", 
        "978-3-540-49442-3"
      ], 
      "name": "Lectures on Petri Nets I: Basic Models", 
      "type": "Book"
    }, 
    "name": "Linear algebraic and linear programming techniques for the analysis of place/transition net systems", 
    "pagination": "309-373", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-65306-6_19"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "e4874d4a819bcc5e2b3345ab0ce4a70b1177c57101c1540905f03501e63a5c64"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1047971968"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-65306-6_19", 
      "https://app.dimensions.ai/details/publication/pub.1047971968"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T12:20", 
    "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_8663_00000082.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-65306-6_19"
  }
]
 

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-65306-6_19'

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-65306-6_19'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-65306-6_19'

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-65306-6_19'


 

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

83 TRIPLES      22 PREDICATES      27 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-65306-6_19 schema:about anzsrc-for:01
2 anzsrc-for:0101
3 schema:author N9fd33d464de644c383da92414e7fa686
4 schema:datePublished 1998
5 schema:datePublishedReg 1998-01-01
6 schema:description The structure theory of Place/Transition net systems is surveyed — incorporating new contributions — in a tutorial style, mainly from a linear algebraic perspective. Topics included are: state equation based analysis of safety properties (e.g., boundedness, mutual exclusion, deadlock-freeness, etc.), linear invariants, siphons and traps, implicit places and their application to improve the accuracy of the state equation, and rank theorems (structural conditions for liveness and boundedness based on the rank of the incidence matrix).
7 schema:editor Ncb5672d1be564c1e927f7fb4ae96614d
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N6e019444a1da4614802cc37178ce6456
12 schema:name Linear algebraic and linear programming techniques for the analysis of place/transition net systems
13 schema:pagination 309-373
14 schema:productId N39fcea4cb4e54b97be96245d0863a39b
15 N71991e12f6cb41bc907d0d4a4707c592
16 Na61260011c7a4437a187ff2fc090d8b1
17 schema:publisher N72069e5d2a494bd6bf071f03eeefcf01
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047971968
19 https://doi.org/10.1007/3-540-65306-6_19
20 schema:sdDatePublished 2019-04-15T12:20
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher N4f7fba2b90fb4693a7efbff947985175
23 schema:url http://link.springer.com/10.1007/3-540-65306-6_19
24 sgo:license sg:explorer/license/
25 sgo:sdDataset chapters
26 rdf:type schema:Chapter
27 N10cd496c3c6d461eaa2c659580ed2f1b rdf:first sg:person.016005103353.68
28 rdf:rest rdf:nil
29 N21df9c02e9f54c648587b2d8ce26f504 rdf:first N6cc18fc00ede46ca913caeecfb448445
30 rdf:rest rdf:nil
31 N2ef9feffc1dc4567abbd96ab91dc97e3 schema:familyName Reisig
32 schema:givenName Wolfgang
33 rdf:type schema:Person
34 N39fcea4cb4e54b97be96245d0863a39b schema:name dimensions_id
35 schema:value pub.1047971968
36 rdf:type schema:PropertyValue
37 N3c07c5a243b848fd95784672f2a40ea3 rdf:first N60db29df8095499c8caea4af0eee6ce6
38 rdf:rest N10cd496c3c6d461eaa2c659580ed2f1b
39 N4f7fba2b90fb4693a7efbff947985175 schema:name Springer Nature - SN SciGraph project
40 rdf:type schema:Organization
41 N60db29df8095499c8caea4af0eee6ce6 schema:affiliation https://www.grid.ac/institutes/grid.11205.37
42 schema:familyName Terue
43 schema:givenName Enrique
44 rdf:type schema:Person
45 N6cc18fc00ede46ca913caeecfb448445 schema:familyName Rozenberg
46 schema:givenName Grzegorz
47 rdf:type schema:Person
48 N6e019444a1da4614802cc37178ce6456 schema:isbn 978-3-540-49442-3
49 978-3-540-65306-6
50 schema:name Lectures on Petri Nets I: Basic Models
51 rdf:type schema:Book
52 N71991e12f6cb41bc907d0d4a4707c592 schema:name doi
53 schema:value 10.1007/3-540-65306-6_19
54 rdf:type schema:PropertyValue
55 N72069e5d2a494bd6bf071f03eeefcf01 schema:location Berlin, Heidelberg
56 schema:name Springer Berlin Heidelberg
57 rdf:type schema:Organisation
58 N9fd33d464de644c383da92414e7fa686 rdf:first sg:person.013406576107.14
59 rdf:rest N3c07c5a243b848fd95784672f2a40ea3
60 Na61260011c7a4437a187ff2fc090d8b1 schema:name readcube_id
61 schema:value e4874d4a819bcc5e2b3345ab0ce4a70b1177c57101c1540905f03501e63a5c64
62 rdf:type schema:PropertyValue
63 Ncb5672d1be564c1e927f7fb4ae96614d rdf:first N2ef9feffc1dc4567abbd96ab91dc97e3
64 rdf:rest N21df9c02e9f54c648587b2d8ce26f504
65 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
66 schema:name Mathematical Sciences
67 rdf:type schema:DefinedTerm
68 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
69 schema:name Pure Mathematics
70 rdf:type schema:DefinedTerm
71 sg:person.013406576107.14 schema:affiliation https://www.grid.ac/institutes/grid.11205.37
72 schema:familyName Silva
73 schema:givenName Manuel
74 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013406576107.14
75 rdf:type schema:Person
76 sg:person.016005103353.68 schema:affiliation https://www.grid.ac/institutes/grid.11205.37
77 schema:familyName Colom
78 schema:givenName José Manuel
79 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016005103353.68
80 rdf:type schema:Person
81 https://www.grid.ac/institutes/grid.11205.37 schema:alternateName University of Zaragoza
82 schema:name Dep. Informática e Ingenieriá de Sistemas, CPS, Universidad de Zaragoza, Maria de Luna 3, E-50015 Zaragoza, Spain
83 rdf:type schema:Organization
 




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


...