The objectives of this research are (1) investigating a solid mapping between business process modeling (BPM) languages and (2) extending the existing BPM tools with methods for verification of construction process models according to the behavioral and structural properties. The methods developed for automatic transformation and model verification are implemented in Java. For illustration, two represented construction processes, which are modeled in BPMN, are transformed into PNs. Furthermore the transformed model is verified with an existing PN tool. Finally, some preliminary concepts of further work are discussed.