A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
This paper describes the verification module (the VipVerify Module) of the VipTool  . VipVerify allows to verify whether a given scenario is an execution of a system model, given by a Petri net. Scenarios can be graphically specified by means of Labeled Partial Orders (LPOs). A specified LPO is an execution of a Petri net if it is a (partial) sequentialization of an LPO generated by a process of the net. We have shown in  that the executability of an LPO can be tested by a polynomialdoi:10.1007/11767589_21 fatcat:fhr5otqsyjcq3ap33xj5zqlmom