by hybrid
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)
vvz-master created the PNML support in PEPtool forum thread
Anonymous commented on the Net editors fail to open under Debian artifact
ptrecenti created the Compile erro forum thread
hybrid commented on the RE: pep2.0 beta4 and TkINA forum thread
eagtav created the pep2.0 beta4 and TkINA forum thread
hybrid committed patchset 2637 of module pep to the The PEP tool CVS repository, changing 1 files
hybrid committed patchset 2636 of module pep to the The PEP tool CVS repository, changing 2 files
hybrid committed patchset 2635 of module pep to the The PEP tool CVS repository, changing 1 files
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use