B. W. Bates;Jean-Michel Bruel;Robert B. France;Maria M. Larrondo-Petrie
-;-;-;-
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
On formalizing UML with high-level petri nets
Concurrent object-oriented programming and petri nets