ePNK

MaRDI QIDQ16554swMATHFDO

Official website http://www2.imm.dtu.dk/~eki/projects/ePNK/

Cited in

(4)

• PSPACE-completeness of the soundness problem of safe asymmetric-choice workflow nets
• HybridILPMiner
• The ePNK: an extensible Petri net tool for PNML
• Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets

This page was built for software: ePNK