ePNK

MaRDI QIDQ16554swMATHFDO

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

Cited in

(4)

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

This page was built for software: ePNK