Verification of Reconfigurable Petri Nets

Julia Padberg. Verification of Reconfigurable Petri Nets. In Daniel Moldt, Lawrence Cabac, Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017. Volume 1846 of CEUR Workshop Proceedings, pages 27-28, CEUR-WS.org, 2017. [doi]

Abstract

Abstract is missing.