Welcome, Guest! Log In | Create Account

Donate Share

The PEP tool

The forum address has changed, you have been automatically redirected. Please update any bookmarks to use the new URL.

Subscribe

PNML support in PEPtool

Add A Reply

You are viewing a single message from this topic. View all messages.

  1. vvz-master

    2008-01-30 18:44:30 UTC
    Hi! I was looking for the announced PNML support in the PEPTool, but could't find it. How can I open pnml-files with PEP and transform them into different target formats or analyze them with the various model checking tools?

    Kind regards.
    Rico
< Previous | 1 | Next >

Add a Reply

This forum does not allow anonymous participation.

Log in to add a reply. Not registered? Create an account to participate and receive email updates when replies are posted to this topic.

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use