PZ Nets- A Formal Method Integrating Petri Nets with Z.

Xudong He

Browse the full SEKE paper archive.