PIPE

swMATH30211MaRDI QIDQ41925FDOQ41925

Author name not available (Why is that?)

Official website: http://sarahtattersall.github.io/PIPE/

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

Cited In (5)

• Reduction of workflow nets for generalised soundness verification
• Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system
• Woflan
• VipTool
• Yasper

This page was built for software: PIPE