| http://dbpedia.org/ontology/abstract
|
Petri net (PN) slicing is a syntactic tech … Petri net (PN) slicing is a syntactic technique used to reduce a PN model based on a given criterion. Informally, a slicing criterion could be a property for which a PN model is analyzed or is a set of places, transitions, or both. A sliced part constitutes only that part of a PN model that may affect the criteria.f a PN model that may affect the criteria.
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Exampleslice.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageID
|
45349329
|
| http://dbpedia.org/ontology/wikiPageLength
|
2265
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
650897060
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Executable_program +
, http://dbpedia.org/resource/Line_number +
, http://dbpedia.org/resource/Algebraic_Petri_net +
, http://dbpedia.org/resource/Syntactic +
, http://dbpedia.org/resource/Debugging +
, http://dbpedia.org/resource/Category:Petri_nets +
, http://dbpedia.org/resource/File:Exampleslice.jpg +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Orphan +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Compu-prog-stub +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Petri_nets +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Technique +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Slicing_Petri_nets?oldid=650897060&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Exampleslice.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Slicing_Petri_nets +
|
| owl:sameAs |
https://global.dbpedia.org/id/sZGJ +
, http://yago-knowledge.org/resource/Slicing_Petri_nets +
, http://rdf.freebase.com/ns/m.012v58nl +
, http://dbpedia.org/resource/Slicing_Petri_nets +
, http://www.wikidata.org/entity/Q19599623 +
|
| rdf:type |
http://dbpedia.org/ontology/TopicalConcept +
|
| rdfs:comment |
Petri net (PN) slicing is a syntactic tech … Petri net (PN) slicing is a syntactic technique used to reduce a PN model based on a given criterion. Informally, a slicing criterion could be a property for which a PN model is analyzed or is a set of places, transitions, or both. A sliced part constitutes only that part of a PN model that may affect the criteria.f a PN model that may affect the criteria.
|
| rdfs:label |
Slicing Petri nets
|
