%0 Journal Article %1 journals/topnoc/ChatainH14 %A Chatain, Thomas %A Haar, Stefan %B Trans. Petri Nets and Other Models of Concurrency %D 2014 %E Koutny, Maciej %E Haddad, Serge %E Yakovlev, Alex %I Springer %J Trans. Petri Nets Other Model. Concurr. %K dblp %P 83-98 %T A Canonical Contraction for Safe Petri Nets. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc9.html#ChatainH14 %V 9 %@ 978-3-662-45729-0

@article{journals/topnoc/ChatainH14, added-at = {2020-03-13T00:00:00.000+0100}, author = {Chatain, Thomas and Haar, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/27b152569a7ef27680565560afc19ee4b/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2014-9}, editor = {Koutny, Maciej and Haddad, Serge and Yakovlev, Alex}, ee = {https://doi.org/10.1007/978-3-662-45730-6_5}, interhash = {50b3095de0a591b5bf77afcedb9284ad}, intrahash = {7b152569a7ef27680565560afc19ee4b}, isbn = {978-3-662-45729-0}, journal = {Trans. Petri Nets Other Model. Concurr.}, keywords = {dblp}, pages = {83-98}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-03-14T12:18:44.000+0100}, title = {A Canonical Contraction for Safe Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc9.html#ChatainH14}, volume = 9, year = 2014 }