PNetsPapers This repository is forked from lhenrio. This work focuses on open pNets, which is a composition of concurrent processes. I am working on pNets for model checking.