There is a newer version of the record available.

Published September 16, 2022 | Version v1
Software Open

DCModelChecker Tool for Verification of Unbounded Petri Nets

Creators

  • 1. IIT Dharwad
  • 2. NIT Calicut

Description

This is a Bounded Model Checker Tool specifically for Verification of Unbounded Petri Nets. 

Preprint related to this tool : http://arxiv.org/abs/2209.05879

Files

dcmodelchecker.zip

Files (223.6 MB)

Name Size Download all
md5:fcdd834ec59b522f4ee5d12d2930e479
223.6 MB Preview Download

Additional details

Related works

Is described by
Technical note: http://arxiv.org/abs/2209.05879 (URL)