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: http://dx.doi.org/10.1007/s11227-006-0017-0.


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

Back to the Petri Nets Bibliography