Concurrent object-oriented programming and Petri nets advances in Petri nets
Gul A Agha; Fiorella De Cindio; Grzegorz Rozenberg
Berlin Springer New York c2001
Available at
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2001 ) and other locations(GetIt)