Abstract

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.