Sign inSign up

maswag/tre2imitator

By maswag

•Updated over 5 years ago

Translate a timed regular expression to a model of IMITATOR

Image
0

1.8K

maswag/tre2imitator repository overview

⁠tre2imitator

Translate timed regular expressions used in MONAA⁠ to the modeling language of IMITATOR⁠. This docker image encapsulates tre2ta included in MONAA⁠ and monaa2imitator⁠

⁠Usage

⁠Synopsis
docker run maswag/tre2imitator [MONAA TRE] > [IMIATOR model].imi
⁠Example
docker run maswag/tre2imitator '(a(ba)%(2,3))*' > [IMIATOR model].imi

Tag summary

Content type

Image

Digest

Size

252.5 MB

Last updated

over 5 years ago

docker pull maswag/tre2imitator