A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
PIPE+Verifier - A Tool for Analyzing High Level Petri Nets
2015
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering
High level Petri nets (HLPNs) have been widely used to model complex systems; however, their high expressive power costs their analyzability. Model checking techniques have been exploited in analyzing high level Petri nets, but have limited success due to either undecidability problem or state explosion problem. Bounded model checking (BMC) is a promising analysis method that explores state space within a predefined bound. BMC sacrifices the completeness of traditional model checking but
doi:10.18293/seke2015-60
dblp:conf/seke/LiuH15
fatcat:anpac22fpnbaveixy4ztf46tzm