For the most recent entries see the Petri Nets Newsletter.

Checking safety properties on-the-fly with the sweep-line method.

Gallasch, Guy Edward; Billington, Jonathan; Vanit-Anunchai, Somsak; Kristensen, Lars Michael

In: International Journal on Software Tools for Technology Transfer (STTT). 2007. URL: http://dx.doi.org/10.1007/s10009-007-0031-4.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography