Gallasch, G.E.Kristensen, L.M.Mailund, T.2025-12-172025-12-1720024th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 20020105-8517https://hdl.handle.net/1959.8/41909enCopyright status unknownSweep-line state space exploration for Coloured Petri NetsConference paper