create_propro.Rd
Create Probabilistic Model (propro) using event log and Petri net
create_propro(eventlog, PN)
An eventlog object
A petri net object. Should have final marking.