Skip to content
Archive of entries posted on 27th July 2010

Embedding Declare in CPN Models via ProM

Now, this is really cool! This is part 3 of my series on embedding CPN simulation into ProM.  In this part, things get really interesting, and the actual goal of the effort becomes evident: we want to be able to embed external programs seamlessly [...]