Specification of distributed systems with actors using object-oriented Petri nets.

Boleslaw Mikolajczak, Artur Ottlik

Browse the full SMC paper archive.