Please use this form to report problems or extension proposal
Do not forget to explain how we can reproduce the problem (sequence of actions, special configuration elements...)
Macao
FrameKit
A tool
AMI-Net, Simulation AMI-Net, AMI-Net Verifier AMI-Net, CPN-Unfolder AMI-Net, GreatSPN AMI-Net, CPN invariants AMI-Net, marking logic formulae AMI-Net, Linear Characterization AMI-Net, BDD based analysis AMI-Net, PROD AMi-Net, Prefix any formalism, Layout computation User administration Group administration Kit Installation Log messages Configuration display Statistics display Menu cache manager
Name
E-mail
Organization
Blocking Major Minor
Systematic Some times