ePNK

swMATH4378MaRDI QIDQ16554FDOQ16554

Author name not available (Why is that?)

Cited In (3)

• PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets
• Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets
• The ePNK: An Extensible Petri Net Tool for PNML

This page was built for software: ePNK