Introduction to Petri Nets View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2013

AUTHORS

Maria Paola Cabasino , Alessandro Giua , Carla Seatzu

ABSTRACT

Petri nets are one of the most important discrete event systems formalisms. Three are the main reasons of this. Firstly, they provide a rich family of both logic and timed models, that share a set of formal tools. Secondly, they can be used in all phases of design of a control system. Finally, Petri nets have been successfully used in several research domains, such as max-plus algebra, markovian processes, supervisory control, etc. In this chapter we provide the basic notations and results in this framework, only focusing on a purely logic model called place/transition net. More... »

PAGES

191-211

References to SciGraph publications

Book

TITLE

Control of Discrete-Event Systems

ISBN

978-1-4471-4275-1
978-1-4471-4276-8

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-1-4471-4276-8_10

DOI

http://dx.doi.org/10.1007/978-1-4471-4276-8_10

DIMENSIONS

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


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 Cagliari", 
          "id": "https://www.grid.ac/institutes/grid.7763.5", 
          "name": [
            "Department of Electrical and Electronic Engineering, University of Cagliari, Cagliari, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Cabasino", 
        "givenName": "Maria Paola", 
        "id": "sg:person.07500744356.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07500744356.31"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Cagliari", 
          "id": "https://www.grid.ac/institutes/grid.7763.5", 
          "name": [
            "Department of Electrical and Electronic Engineering, University of Cagliari, Cagliari, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Giua", 
        "givenName": "Alessandro", 
        "id": "sg:person.016465545631.91", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016465545631.91"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Cagliari", 
          "id": "https://www.grid.ac/institutes/grid.7763.5", 
          "name": [
            "Department of Electrical and Electronic Engineering, University of Cagliari, Cagliari, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Seatzu", 
        "givenName": "Carla", 
        "id": "sg:person.07517352426.75", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07517352426.75"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1005543632", 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1005543632", 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-68353-4_47", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1034214528", 
          "https://doi.org/10.1007/978-3-642-68353-4_47"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0022-0000(69)80011-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1052702842"
        ], 
        "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.1017/cbo9780511526558", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1098786518"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2013", 
    "datePublishedReg": "2013-01-01", 
    "description": "Petri nets are one of the most important discrete event systems formalisms. Three are the main reasons of this. Firstly, they provide a rich family of both logic and timed models, that share a set of formal tools. Secondly, they can be used in all phases of design of a control system. Finally, Petri nets have been successfully used in several research domains, such as max-plus algebra, markovian processes, supervisory control, etc. In this chapter we provide the basic notations and results in this framework, only focusing on a purely logic model called place/transition net.", 
    "editor": [
      {
        "familyName": "Seatzu", 
        "givenName": "Carla", 
        "type": "Person"
      }, 
      {
        "familyName": "Silva", 
        "givenName": "Manuel", 
        "type": "Person"
      }, 
      {
        "familyName": "van Schuppen", 
        "givenName": "Jan H.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-1-4471-4276-8_10", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-1-4471-4275-1", 
        "978-1-4471-4276-8"
      ], 
      "name": "Control of Discrete-Event Systems", 
      "type": "Book"
    }, 
    "name": "Introduction to Petri Nets", 
    "pagination": "191-211", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-1-4471-4276-8_10"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "b6d5ae24608f08418e5b9961dbefa8bfa5c64eb79089a99fd2d66fab80281ecf"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1038381679"
        ]
      }
    ], 
    "publisher": {
      "location": "London", 
      "name": "Springer London", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-1-4471-4276-8_10", 
      "https://app.dimensions.ai/details/publication/pub.1038381679"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T11:36", 
    "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_00000267.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-1-4471-4276-8_10"
  }
]
 

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/978-1-4471-4276-8_10'

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/978-1-4471-4276-8_10'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-1-4471-4276-8_10'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-1-4471-4276-8_10'


 

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

104 TRIPLES      23 PREDICATES      32 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-1-4471-4276-8_10 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author Ne843f5f7d8a142dfb5f75aa779ec29bf
4 schema:citation sg:pub.10.1007/978-3-642-68353-4_47
5 https://app.dimensions.ai/details/publication/pub.1005543632
6 https://doi.org/10.1016/s0022-0000(69)80011-5
7 https://doi.org/10.1017/cbo9780511526558
8 https://doi.org/10.1109/5.24143
9 schema:datePublished 2013
10 schema:datePublishedReg 2013-01-01
11 schema:description Petri nets are one of the most important discrete event systems formalisms. Three are the main reasons of this. Firstly, they provide a rich family of both logic and timed models, that share a set of formal tools. Secondly, they can be used in all phases of design of a control system. Finally, Petri nets have been successfully used in several research domains, such as max-plus algebra, markovian processes, supervisory control, etc. In this chapter we provide the basic notations and results in this framework, only focusing on a purely logic model called place/transition net.
12 schema:editor N326b5e8a54504694a3e3c85581509318
13 schema:genre chapter
14 schema:inLanguage en
15 schema:isAccessibleForFree false
16 schema:isPartOf Nf679703fea09459e83e40f7b6b949391
17 schema:name Introduction to Petri Nets
18 schema:pagination 191-211
19 schema:productId N5bf075ef1f2640d9a12251921812cf08
20 Nb6e6b0ae0595492ca1c74aa19612ae13
21 Nff354fbc03344a5ea862e8e328fd07d2
22 schema:publisher N0e1a5ebe6e524c08a7f32ec7e3353665
23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038381679
24 https://doi.org/10.1007/978-1-4471-4276-8_10
25 schema:sdDatePublished 2019-04-15T11:36
26 schema:sdLicense https://scigraph.springernature.com/explorer/license/
27 schema:sdPublisher N1f475c6d9ee2474d9432a72d92c936eb
28 schema:url http://link.springer.com/10.1007/978-1-4471-4276-8_10
29 sgo:license sg:explorer/license/
30 sgo:sdDataset chapters
31 rdf:type schema:Chapter
32 N0e1a5ebe6e524c08a7f32ec7e3353665 schema:location London
33 schema:name Springer London
34 rdf:type schema:Organisation
35 N1e23db733ce84eeeb086fcb3c2626d3b schema:familyName Seatzu
36 schema:givenName Carla
37 rdf:type schema:Person
38 N1f475c6d9ee2474d9432a72d92c936eb schema:name Springer Nature - SN SciGraph project
39 rdf:type schema:Organization
40 N326b5e8a54504694a3e3c85581509318 rdf:first N1e23db733ce84eeeb086fcb3c2626d3b
41 rdf:rest N813caeda0f234aca8e8adccc62977828
42 N3f692170db58494e820d824b5bbe0bb2 rdf:first N58ef5938cbef4a82b3ec59945dc05a8e
43 rdf:rest rdf:nil
44 N58ef5938cbef4a82b3ec59945dc05a8e schema:familyName van Schuppen
45 schema:givenName Jan H.
46 rdf:type schema:Person
47 N5bf075ef1f2640d9a12251921812cf08 schema:name dimensions_id
48 schema:value pub.1038381679
49 rdf:type schema:PropertyValue
50 N813caeda0f234aca8e8adccc62977828 rdf:first Nf5b2aba368444a2980f1242c7bf73ad7
51 rdf:rest N3f692170db58494e820d824b5bbe0bb2
52 N8b4c388dde5e40c099fcf5ecc66a0cd4 rdf:first sg:person.016465545631.91
53 rdf:rest Nf620cfe08a7e40d4b4ce376b49d2c650
54 Nb6e6b0ae0595492ca1c74aa19612ae13 schema:name doi
55 schema:value 10.1007/978-1-4471-4276-8_10
56 rdf:type schema:PropertyValue
57 Ne843f5f7d8a142dfb5f75aa779ec29bf rdf:first sg:person.07500744356.31
58 rdf:rest N8b4c388dde5e40c099fcf5ecc66a0cd4
59 Nf5b2aba368444a2980f1242c7bf73ad7 schema:familyName Silva
60 schema:givenName Manuel
61 rdf:type schema:Person
62 Nf620cfe08a7e40d4b4ce376b49d2c650 rdf:first sg:person.07517352426.75
63 rdf:rest rdf:nil
64 Nf679703fea09459e83e40f7b6b949391 schema:isbn 978-1-4471-4275-1
65 978-1-4471-4276-8
66 schema:name Control of Discrete-Event Systems
67 rdf:type schema:Book
68 Nff354fbc03344a5ea862e8e328fd07d2 schema:name readcube_id
69 schema:value b6d5ae24608f08418e5b9961dbefa8bfa5c64eb79089a99fd2d66fab80281ecf
70 rdf:type schema:PropertyValue
71 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
72 schema:name Information and Computing Sciences
73 rdf:type schema:DefinedTerm
74 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
75 schema:name Computer Software
76 rdf:type schema:DefinedTerm
77 sg:person.016465545631.91 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
78 schema:familyName Giua
79 schema:givenName Alessandro
80 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016465545631.91
81 rdf:type schema:Person
82 sg:person.07500744356.31 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
83 schema:familyName Cabasino
84 schema:givenName Maria Paola
85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07500744356.31
86 rdf:type schema:Person
87 sg:person.07517352426.75 schema:affiliation https://www.grid.ac/institutes/grid.7763.5
88 schema:familyName Seatzu
89 schema:givenName Carla
90 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07517352426.75
91 rdf:type schema:Person
92 sg:pub.10.1007/978-3-642-68353-4_47 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034214528
93 https://doi.org/10.1007/978-3-642-68353-4_47
94 rdf:type schema:CreativeWork
95 https://app.dimensions.ai/details/publication/pub.1005543632 schema:CreativeWork
96 https://doi.org/10.1016/s0022-0000(69)80011-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052702842
97 rdf:type schema:CreativeWork
98 https://doi.org/10.1017/cbo9780511526558 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098786518
99 rdf:type schema:CreativeWork
100 https://doi.org/10.1109/5.24143 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061179070
101 rdf:type schema:CreativeWork
102 https://www.grid.ac/institutes/grid.7763.5 schema:alternateName University of Cagliari
103 schema:name Department of Electrical and Electronic Engineering, University of Cagliari, Cagliari, Italy
104 rdf:type schema:Organization
 




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


...