Symbolic state space of Stopwatch {Petri} nets with discrete-time semantics

Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00523612
Contributor : Olivier Henri Roux <>
Submitted on : Tuesday, October 5, 2010 - 6:03:07 PM
Last modification on : Wednesday, December 19, 2018 - 3:02:03 PM

Identifiers

  • HAL Id : hal-00523612, version 1

Citation

Morgan Magnin, Didier Lime, Olivier Henri Roux. Symbolic state space of Stopwatch {Petri} nets with discrete-time semantics. The 29th International Conference on Application and Theory of Nets and other models of concurrency (ICATPN 2008), 2008, Xi'an, China. pp.307--326. ⟨hal-00523612⟩

Share

Metrics

Record views

111