For the most recent entries see the Petri Nets Newsletter.

A method to test concurrent systems using architectural specification.

Reza, Hassan; Grant, Emanuel S.

In: The Journal of Supercomputing, Volume 39, 3, pages 347-357. March 2007. URL:

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

Back to the Petri Nets Bibliography