PIPE

MaRDI QIDQ41925swMATHFDO

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

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

Cited in

(5)

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

This page was built for software: PIPE