Goal-driven unfolding of Petri nets
T Chatain, L Paulevé - arxiv preprint arxiv:1611.01296, 2016 - arxiv.org
Unfoldings provide an efficient way to avoid the state-space explosion due to interleavings
of concurrent transitions when exploring the runs of a Petri net. The theory of adequate …
of concurrent transitions when exploring the runs of a Petri net. The theory of adequate …
Petri nets-based method to elicit component-interaction related safety requirements in safety-critical systems
D Zhu, H Tan, S Yao - Computers & Electrical Engineering, 2018 - Elsevier
Abstract System component-interaction has been critical for system safety, accompanied by
the ever-growing complexity of safety-critical systems. As a novel causality model, Systems …
the ever-growing complexity of safety-critical systems. As a novel causality model, Systems …
CosyVerif: An open source extensible verification environment
CosyVerif aims at gathering within a common framework various existing tools for
specification and verification. It has been designed in order to 1) support different formalisms …
specification and verification. It has been designed in order to 1) support different formalisms …