For the most recent entries see the Petri Nets Newsletter.

Keyword: system validation

Heiner, Monika; Popova, L.:
Worst-case Analysis of Concurrent Systems with Duration Interval Petri Nets. 1997.
Feldbrugge, Frits:
Petri Net Tools Overview 1992. 1992.

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

Back to the Petri Nets Bibliography