Symbolic Domains and Reachability for Nets with Trajectories.

Mon, 01 Jan 2024 00:00:00 +0100

Loïc Hélouët, Prerak Contractor :
Symbolic Domains and Reachability for Nets with Trajectories. Petri Nets 2024: 244-265