Punf

swMATH4416MaRDI QIDQ16592FDOQ16592

Author name not available (Why is that?)

Described by source

• Computer Aided Verification

Cited In (9)

• Structure-based deadlock checking of asynchronous circuits
• Unfoldings: A partial-order approach to model checking.
• Efficient unfolding of contextual Petri nets
• M-nets: a survey
• Infinite Process Semantics of Inhibitor Nets
• Title not available (Why is that?)
• Decompositional Petri Net Reductions
• Efficient Contextual Unfolding
• Verification of Petri Nets with Read Arcs

This page was built for software: Punf