PIPE

swMATH30211MaRDI QIDQ41925FDOQ41925

Author name not available (Why is that?)

Source code repository: https://github.com/sarahtattersall/PIPE

Cited In (2)

• Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system
• Reduction of Workflow Nets for Generalised Soundness Verification

This page was built for software: PIPE