%0 Journal Article %1 journals/topnoc/DevillersEH21 %A Devillers, Raymond R. %A Erofeev, Evgeny %A Hujsa, Thomas %B Trans. Petri Nets and Other Models of Concurrency %D 2021 %E Koutny, Maciej %E Kordon, Fabrice %E Pomello, Lucia %I Springer %J Trans. Petri Nets Other Model. Concurr. %K dblp %P 75-100 %T Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond. %U http://dblp.uni-trier.de/db/journals/topnoc/topnoc15.html#DevillersEH21 %V 15 %@ 978-3-662-63079-2

@article{journals/topnoc/DevillersEH21, added-at = {2022-04-09T00:00:00.000+0200}, author = {Devillers, Raymond R. and Erofeev, Evgeny and Hujsa, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2e53dcb4c83107bfe36c4e33e8d55f6ec/dblp}, booktitle = {Trans. Petri Nets and Other Models of Concurrency}, crossref = {journals/topnoc/2021-15}, editor = {Koutny, Maciej and Kordon, Fabrice and Pomello, Lucia}, ee = {https://doi.org/10.1007/978-3-662-63079-2_4}, interhash = {f0ddf56ccdd8f4977f4feb451394984e}, intrahash = {e53dcb4c83107bfe36c4e33e8d55f6ec}, isbn = {978-3-662-63079-2}, journal = {Trans. Petri Nets Other Model. Concurr.}, keywords = {dblp}, pages = {75-100}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:30:50.000+0200}, title = {Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond.}, url = {http://dblp.uni-trier.de/db/journals/topnoc/topnoc15.html#DevillersEH21}, volume = 15, year = 2021 }