Well-formed Petri net
id:
well-formed-petri-net-238-9910446
title:
Well-formed Petri net
text:
Well-formed Petri nets are a Petri net class jointly elaborated between the University of Paris 6 and the University of Torino in the early 1990s. It is a restriction of the high-level nets introduced by K. Jensen. The main advantage of Well Formed Nets is the notion of symbolic reachability graph that is composed of symbolic states. A symbolic state is a state representing several concrete states in the state space of the system described by the Petri net. So, much larger state spaces can be re
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Well-formed_Petri_net
date created:
date modified:
2024-04-22T21:04:46Z
main entity:
{"identifier":"Q4052896","url":"https://www.wikidata.org/entity/Q4052896"}
image:
fields total:
13
integrity:
13