Irina A. Lomazova On Proving Large Distributed Systems: Petri Net Modules Verification. 70-75 1997 conf/pact/1997 PaCT db/conf/pact/pact1997.html#Lomazova97