Investigating the applicability of Petri nets for rule-based system verification 1993 · ENGLISH · PDF View details →