Rémi Parrot, Mikaël Briday, Olivier H. Roux. Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design. In Didier Buchs, Josep Carmona, editors, Application and Theory of Petri Nets and Concurrency - 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23-25, 2021, Proceedings. Volume 12734 of Lecture Notes in Computer Science, pages 55-75, Springer, 2021. [doi]
Abstract is missing.