For the most recent entries see the Petri Nets Newsletter.

A temporal logic approach for analyzing safety properties of predicate transition nets.

He, Xudong; Ding, Yingjia

In: Information Processing 92, vol.I, Elsevier Science Publisher, pages 127-133. 1992.

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

Back to the Petri Nets Bibliography