Extension of Petri nets and its applications to model systems with imprecise task duration | IEEE Conference Publication | IEEE Xplore