maswag/monaa2imitator
A translator from a timed automaton for monaa to an IMITATOR model
Image
0
1.8K
maswag/monaa2imitator repository overview
monaa2imitator
Translate MONAA's dot language to the modeling language of IMITATOR.
Usage
Synopsis
stack run < [MONAA TA].dot > [IMIATOR model].imi
docker run -i maswag/monaa2imitator < [MONAA TA].dot > [IMIATOR model].imi
Example
stack run < ./example/small.dot > small.imi
docker run -i maswag/monaa2imitator < ./example/small.dot > small.imi
Requirement
- stack
Tag summary
Content type
Image
Digest
Size
27.4 MB
Last updated
over 5 years ago
docker pull maswag/monaa2imitator