COMBAG
- Environment:
- Unix
- Origin:
- Laboratoire de Recherche en Informatique, Univ. Paris-Sud, Orsay, France
- Kind of Nets supported:
- Predicate/Transition Nets
- Functionalities:
- Graphical EDITOR from the tool PetriPote
- Textual description of nets
- Computation of linear invariants
- Availability:
- CONTACT Nikolas Treves
Sligos, Dèpartement Techniques et Mèthodèes Groupe
Bp 49, F-92067 Paris la Dèfense
France
- References:
- N. Treves, COMBAG: A tool for the computation of a basis and a set of generators of semi-flows for Pr/T Systems [tre88]
- Notes:
- COMBAG has been integrated in the software structure SERPE.