Morgan Magnin et al.: Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). (2008)conf/apn/MagninLR0810.1007/978-3-540-68746-7_21Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper).3Morgan Magnin1Didier Lime2Olivier H. Roux3307-326Petri NetsPetri Nets20082008provenance information for RDF data of dblp record 'conf/apn/MagninLR08'2018-11-02T09:38:39+0100