Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets

Bibliographische Detailangaben

Veröffentlicht in:	PETRI NETS (42. : 2021 : Online) Application and Theory of Petri Nets and Concurrency
1. Verfasser:	Aalst, Wil M. P. van der (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!