@misc{AssafHeiner, author = {Assaf, George and Heiner, Monika}, title = {Spatial Encoding of Systems Using Coloured Petri Nets}, series = {Algorithms and Tools for Petri Nets : Proceedings of the Workshop AWPN 2019}, journal = {Algorithms and Tools for Petri Nets : Proceedings of the Workshop AWPN 2019}, editor = {Bergenthum, Robin and Kindler, Ekkart}, publisher = {Universit{\"a}t}, address = {Hagen}, pages = {38 -- 44}, language = {en} } @misc{ChodakHeiner, author = {Chodak, Jacek and Heiner, Monika}, title = {SPIKE - as a Supporting Tool for a Model Parameters Optimization via Branched Simulations}, series = {Algorithms and Tools for Petri Nets : Proceedings of the Workshop AWPN 2019, Hagen, Germany, October 10-11, 2019, Tagungsband}, journal = {Algorithms and Tools for Petri Nets : Proceedings of the Workshop AWPN 2019, Hagen, Germany, October 10-11, 2019, Tagungsband}, editor = {Bergenthum, Robin and Kindler, Ekkart}, publisher = {Uni Hagen}, address = {Hagen}, pages = {18 -- 23}, language = {en} }