Integrating Trace Logic and Petri Nets Specifications