...
机译:A Survey of Object-Oriented Petri Nets and Analysis Methods
Graduate School of Engineering, Osaka University, Suita-shi, 565-0871 Japan;
petri nets; object orientation; multi-agent systems; reachability problem; distributed systems; formal model;