Pages that link to "Item:Q672866"

From MaRDI portal

← Proving nonreachability by modulo-invariants (Q672866)

Jump to:navigation, search

The following pages link to Proving nonreachability by modulo-invariants (Q672866):

Displaying 3 items.

Petri net based verification of distributed algorithms: An example (Q1377301) (← links)
Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets (Q2822661) (← links)
Algebraic nets with flexible arcs (Q5958125) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q672866"