{"id":"2311.00629","title":"Formal Translation from Reversing Petri Nets to Coloured Petri Nets","url":"https://codeofpaper.com/paper/2311.00629","arxiv_url":"https://arxiv.org/abs/2311.00629","published":"2023-11-01","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}