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