Peter Sander
-
Information system behavior specification by high level Petri nets
ACM Transactions on Information Systems (TOIS)