Workcraft

swMATH1021MaRDI QIDQ13765FDOQ13765

Author name not available (Why is that?)

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

Cited In (8)

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

This page was built for software: Workcraft