@Article{sander1996isbsbhpn, author = "Peter Sander and Andreas Oberweis", journal = "ACM Transactions on Information Systems", number = "4", pages = "380-420", title = "Information System Behavior Specification by High-Level Petri Nets", volume = "14", year = "1996", }