Slicing Petri nets
id:
slicing-petri-nets-165-3664146
title:
Slicing Petri nets
text:
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.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Slicing_Petri_nets
date created:
2015-02-09T13:49:05Z
date modified:
2024-08-29T18:03:44Z
main entity:
{"identifier":"Q19599623","url":"https://www.wikidata.org/entity/Q19599623"}
image:
fields total:
13
integrity:
14