Välformat Petri-nät

Välformade Petri-nät är en Petri- nätklass som utvecklades gemensamt mellan University of Paris 6 (Université P. & M. Curie) och University of Torino i början av 1990-talet.

Det är en begränsning av de högnivånät (eller färgade nät) som introducerades av K. Jensen. Den största fördelen med Well Formed Nets är idén om en symbolisk nåbarhetsgraf som är sammansatt av symboliska tillstånd . Ett symboliskt tillstånd är ett tillstånd som representerar flera konkreta tillstånd i tillståndsrummet i systemet som beskrivs av Petri-nätet. Så mycket större tillståndsutrymmen kan representeras (förstärkningsfaktorn kan vara upp till exponentiell). Denna uppfattning om symboliskt tillståndsutrymme kräver att endast en begränsad uppsättning operatorer är tillgängliga (identifiering, sändning, efterföljare och föregångare är tillåtna på cirkulära finita typer).

•   G. Chiola, Karakterisering av tidsanpassade välformade Petrinäts beteende med hjälp av förekomstekvationer . Proceedings of the Sixth International Workshop on Petri Nets and Performance Models , sidan 27, IEEE Computer Society , Washington DC, USA. ( ISBN 0-8186-7210-2 .)