For the most recent entries see the Petri Nets Newsletter.

Application Oriented Verification Scenarios.

Kindler, E.; Vesper, T.; Weber, M.

In: Proceedings of Colloquium on Petri Net Technologies for Modelling Communication Based Systems, October 21-22, 1999, pages 279-295. Fraunhofer Gesellschaft, ISST, 1999.


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

Back to the Petri Nets Bibliography