This tool, is an experiment of a translation chain
- starting from an high level language
- translating it to a Petri net
- analyzing it using a state state exploration tool (Tina here)
- Then feed back user with usefull information (here scheduling diagram - and schedule feasability decision)
What is cool about using models to do this analysis is that the decision response is exact, alas it's to the price of a possible explosion of the state space, therefore there is a possibility that the chain is unable to give an answer.