[Javapathfinder-svn] SF.net SVN: javapathfinder:[1035] trunk/extensions

[<Ta...@us...>]

Revision: 1035
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1035&view=rev
Author:   Taehoon
Date:     2008-10-15 05:55:57 +0000 (Wed, 15 Oct 2008)

Log Message:
-----------
Initial codes for XPDL model checking. 
A detailed description and examples would be committed within a week.

Added Paths:
-----------
    trunk/extensions/XPDL/
    trunk/extensions/XPDL/src/
    trunk/extensions/XPDL/src/edu/
    trunk/extensions/XPDL/src/edu/kgu/
    trunk/extensions/XPDL/src/edu/kgu/xpdl/
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_AND_Fire.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_AND_join.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_AND_split.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_Env.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_Node.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_Resource.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_Transition.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_XOR_Join.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_Xor_split.java
    trunk/extensions/XPDL/src/edu/kgu/xpdl/XPDL_activity.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.