Rowland Pitts. Modeling State Transitions with Colored Petri Nets. In Michael Köhler-Bußmeier, Ekkart Kindler, Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference). Volume 2651 of CEUR Workshop Proceedings, pages 218-219, CEUR-WS.org, 2020. [doi]
@inproceedings{Pitts20-2, title = {Modeling State Transitions with Colored Petri Nets}, author = {Rowland Pitts}, year = {2020}, url = {http://ceur-ws.org/Vol-2651/posterextabs3.pdf}, researchr = {https://researchr.org/publication/Pitts20-2}, cites = {0}, citedby = {0}, pages = {218-219}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)}, editor = {Michael Köhler-Bußmeier and Ekkart Kindler and Heiko Rölke}, volume = {2651}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, }