doi dblpInformation System Behavior Specification by High-Level Petri NetsAndreas Oberweis | Peter Sander1996 Volume 14 Issue 4