Components for AlPiNA

Select a component to see open bugs in that component:

AlPiNA

AlPiNA stands for Algebraic Petri Nets Analyzer and is a model checker (external link) for Algebraic Petri Nets (external link). It has been developped by the SMV Group (external link) and is 100% written in Java and available under the terms of the GNU (external link) general public license.

Components

	Default Assignee
Algebraic Spec	Alexis Marechal
Algebraic Spec	ADT metamodel and tools
Alpina's Web Site	Alexis Marechal
Alpina's Web Site	Alpina's Web Site
APN	Alexis Marechal
APN	APN metamodel and tools
Eclipse plugin / GUI	hostettler
Eclipse plugin / GUI	User graphical interface and deployment
engine	hostettler
engine	Algebraic Petri Net support and State Space generation
JDD	hostettler
JDD	Java Decision Diagram Library
Sigma DD	hostettler
Sigma DD	Term encoding and rewriting using Decision Diagrams
validator	Alexis Marechal
validator	Reachability and CTL checker