This is turning out to be pretty hard (at least at first look for me). It seems to get hairy with timeouts, exceptions fairly quickly... XOR or Sync Merging might require to backtrace... I am wondering if anyone has some experience to share or some pointers to follow. There are some interesting examples here: http://bpt.hpi.uni-potsdam.de/twiki/pub/Piworkflow/Reasoner/demofiles.zip
It feels like you need to load the model into a directed graph and start reducing elements as you find simple patterns such as sequences... I have not figured out the pi-calculus stuff yet... ;( Pat. --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "OpenWFEru dev" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/openwferu-dev?hl=en -~----------~----~----~----~------~----~------~--~---
