Transforming coloured petri nets to counter systems for parametric verification: a stop-and-wait protocol case study

Billington, J.Gallasch, G.E.Petrucci, L.2025-12-172025-12-172005Proceedings of MOMPES 05: 2nd International Workshop on Model-based Methodologies for Pervasive and Embedded Software, 2005https://hdl.handle.net/1959.8/27419enCopyright status unknownTransforming coloured petri nets to counter systems for parametric verification: a stop-and-wait protocol case studyConference paper