2013
AUTHORSMaria Paola Cabasino , Alessandro Giua , Carla Seatzu
ABSTRACTPetri 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... »
PAGES191-211
Control of Discrete-Event Systems
ISBN
978-1-4471-4275-1
978-1-4471-4276-8
http://scigraph.springernature.com/pub.10.1007/978-1-4471-4276-8_10
DOIhttp://dx.doi.org/10.1007/978-1-4471-4276-8_10
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1038381679
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
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