Workcraft

swMATH1021MaRDI QIDQ13765FDOQ13765

Author name not available (Why is that?)

Cited In (4)

• Compact and efficiently verifiable models for concurrent systems
• Occurrence Nets Then and Now: The Path to Structured Occurrence Nets
• Synthesising elementary net systems with localities
• Model checking Petri nets with MSVL

This page was built for software: Workcraft