Workcraft

MaRDI QIDQ13765swMATHFDO

Official website http://rd.springer.com/chapter/10.1007/978-3-540-73094-1_30

Cited in

(9)

• Occurrence nets then and now: the path to structured occurrence nets
• Synthesising elementary net systems with localities
• Compact and efficiently verifiable models for concurrent systems
• rbminer
• ProM
• Genet
• Petrify
• VipTool
• Model checking Petri nets with MSVL

This page was built for software: Workcraft