Pages that link to "Item:Q315291"
From MaRDI portal
The following pages link to Model checking Petri nets with names using data-centric dynamic systems (Q315291):
Displaying 5 items.
- First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus (Q1706163) (← links)
- Aligning event logs to resource-constrained \(\nu \)-Petri nets (Q2165247) (← links)
- Data and process resonance. Identifier soundness for models of information systems (Q2165251) (← links)
- A Non-Deterministic Multiset Query Language (Q5862341) (← links)
- Correctness Notions for Petri Nets with Identifiers (Q6189321) (← links)
