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