Meddly

swMATH29140MaRDI QIDQ40854FDOQ40854

Author name not available (Why is that?)

Cited In (4)

• Nested-unit Petri nets
• A lazy query scheme for reachability analysis in Petri nets
• A CTL* Model Checker for Petri Nets
• Simplification of a complex signal transduction model using invariants and flow equivalent servers

This page was built for software: Meddly