TY - DATA AU - Lars Michael Kristensen AU - Jan Martijn van der Werf TI - Application and Theory of Petri Nets and Concurrency T2 - Lecture Notes in Computer Science SN - 9783031306205 PB - Springer KW - Computer Science KW - Mathematics of Computing UR - https://link.springer.com/openurl?genre=book&isbn=978-3-031-61433-0 ER -