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:,.

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

Back to the Petri Nets Bibliography