%0 Conference Paper %1 conf/apn/Aalst21 %A van der Aalst, Wil M. P. %B Petri Nets %D 2021 %E Buchs, Didier %E Carmona, Josep %I Springer %K dblp %P 208-229 %T Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets. %U http://dblp.uni-trier.de/db/conf/apn/pn2021.html#Aalst21 %V 12734 %@ 978-3-030-76983-3

@inproceedings{conf/apn/Aalst21, added-at = {2023-09-30T00:00:00.000+0200}, author = {van der Aalst, Wil M. P.}, biburl = {https://www.bibsonomy.org/bibtex/2a8c073c9565906752afa7525ae23f13c/dblp}, booktitle = {Petri Nets}, crossref = {conf/apn/2021}, editor = {Buchs, Didier and Carmona, Josep}, ee = {https://doi.org/10.1007/978-3-030-76983-3_11}, interhash = {ce7dc3b6d85e193b415ee922e52b61e2}, intrahash = {a8c073c9565906752afa7525ae23f13c}, isbn = {978-3-030-76983-3}, keywords = {dblp}, pages = {208-229}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:02:41.000+0200}, title = {Reduction Using Induced Subnets to Systematically Prove Properties for Free-Choice Nets.}, url = {http://dblp.uni-trier.de/db/conf/apn/pn2021.html#Aalst21}, volume = 12734, year = 2021 }