Using Relation Algebra for the Analysis of Petri Nets in a CASE Tool Based Approach.

Alexander Fronk

Browse the full SEFM paper archive.