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