For the most recent entries see the Petri Nets Newsletter.

A New Approach to Verify Rule-Based Systems using Petri Nets.

He, Xudong; Chu, William; Yang, Hongji

In: Information and Software Technology, vol.45, no.10, pages 663-670. 2003.


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

Back to the Petri Nets Bibliography