Verifying Petri-Net Models Using Process Algebra

Since this document is part of a book, it does not have an abstract.

( postscript / pdf version of the complete document)

Back to the list of publications.