Chieh-Ying Kan;Xudong He
-;-
Object orientation in hierarchical predicate transition nets
Concurrent object-oriented programming and petri nets