This is just the Ex4 implementation using Callen Shaw's Petri Net Component.  

Please see the original system README for full details.  

To demonstrate Ex4 with Petri Net, just run the batch script:
ex4 demo script.bat

This script will descriptively guide you through the use-case.