For the most recent entries see the
Petri Nets Newsletter.
An Equivalent CTL Formulation for Condition Sequences.
Ashley, Jeffrey;
Holloway, Lawrence
In:
Discrete Event Dynamic Systems, 15, 4, 2005, pages 333-348.
December 2005.
URL: http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s10626-005-4056-0,.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography