PEP
From MaRDI portal
Software:28416
swMATH16547MaRDI QIDQ28416FDOQ28416
Author name not available (Why is that?)
Cited In (13)
- Model checking multi-agent systems with logic based Petri nets
- Non-interference by Unfolding
- M-nets: a survey
- Title not available (Why is that?)
- Verification of bounded Petri nets using integer programming
- Computing the reveals relation in occurrence nets
- Statechartable Petri nets
- Multilevel transitive and intransitive non-interference, causally
- A compositional Petri net translation of general \(\pi\)-calculus terms
- Petri nets with causal time for system verification
- Title not available (Why is that?)
- Petri net based verification of distributed algorithms: An example
- General parameterised refinement and recursion for the M-net calculus
This page was built for software: PEP
