PEP
From MaRDI portal
Cited in
(22)- Model checking multi-agent systems with logic based Petri nets
- M-nets: a survey
- scientific article; zbMATH DE number 2080070 (Why is no real title available?)
- Verification of bounded Petri nets using integer programming
- Computing the reveals relation in occurrence nets
- Maria
- MWB
- PetriNets
- Punf
- Cunf
- M-nets
- Mole
- Anica
- MultiUbic
- Statechartable Petri nets
- Multilevel transitive and intransitive non-interference, causally
- Non-interference by unfolding
- A compositional Petri net translation of general -calculus terms
- Petri nets with causal time for system verification
- scientific article; zbMATH DE number 1059334 (Why is no real title available?)
- 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
