A new approach to the analysis of Petri nets: parallel processes and predictability of scenarios | IEEE Conference Publication | IEEE Xplore