Heitsch, Koehler, Martens, and Moldt. High-level Petri Nets for a Model of Organizational Decision Making. CiteSeer, 2000.