%0 Conference Paper %1 conf/apn/Garavel15 %A Garavel, Hubert %B Petri Nets %D 2015 %E Devillers, Raymond R. %E Valmari, Antti %I Springer %K %P 179-199 %T Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets. %U http://dblp.uni-trier.de/db/conf/apn/pn2015.html#Garavel15 %V 9115 %@ 978-3-319-19487-5

@inproceedings{conf/apn/Garavel15, added-at = {2023-12-12T22:49:53.000+0100}, author = {Garavel, Hubert}, biburl = {https://www.bibsonomy.org/bibtex/27de2b1e661be8bcc84bebb82838c5ac8/admin}, booktitle = {Petri Nets}, crossref = {conf/apn/2015}, editor = {Devillers, Raymond R. and Valmari, Antti}, ee = {https://doi.org/10.1007/978-3-319-19488-2_9}, interhash = {4ead1b5b2867da4efb468daa7468367b}, intrahash = {7de2b1e661be8bcc84bebb82838c5ac8}, isbn = {978-3-319-19487-5}, keywords = {}, pages = {179-199}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T22:49:53.000+0100}, title = {Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets.}, url = {http://dblp.uni-trier.de/db/conf/apn/pn2015.html#Garavel15}, volume = 9115, year = 2015 }