Petri net unfoldings
id:
petri-net-unfoldings-321-3323188
title:
Petri net unfoldings
text:
Analysis of Petri nets can be performed by means of constructing either reachable state spaces or via the process of graph-based unfolding. The prefix of a Petri net unfolding, which is an acyclic Petri net graph, contains the same information about the properties of the Petri net as the reachability graph, plus it contains information about sequence, concurrency and conflict relations between Petri net transitions and Petri net places. The advantages of the use of unfolding in practice are typi
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Petri_net_unfoldings
date created:
date modified:
2023-09-26T22:12:47Z
main entity:
{"identifier":"Q108101567","url":"https://www.wikidata.org/entity/Q108101567"}
image:
fields total:
13
integrity:
13