swMATH16547MaRDI QIDQ28416FDOQ28416
Author name not available (Why is that?)
Official website: https://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/db/pep.html
Cited In (21)
- Model checking multi-agent systems with logic based Petri nets
- 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
- MWB
- PetriNets
- Punf
- Statechartable Petri nets
- Cunf
- M-nets
- Mole
- Multilevel transitive and intransitive non-interference, causally
- Anica
- MultiUbic
- Non-interference by unfolding
- 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
