This paper presents a concept for mappings that can be applied to form a Petri-Net-Graph from the information of a business process model created with the Parallel Activity Specification Schema (PASS). Furthermore the possible uses as well as the shortcomings of this approach are discussed. In the appendix a formal specification for such a converter is given.
Mapping PASS graphs to Petri-Nets: Possibilities and limits for converting PASS graphs to Petri-Nets
International Conference on Subject-Oriented Business Process Managemen