Создание шаблона в UPPAAL
Я делаю схемы в UPPAAL, используя базовые ворота. Для этого я создаю эти ворота в системном объявлении для создания требуемой схемы. Я объявил ввод / вывод вентилей в разделе параметров, а затем создал эти значения параметров с необходимыми переменными ввода / вывода в системном объявлении для создания конкретной схемы.
пусть предположим, что я хочу сделать полный сумматор из 2 Xor,2 And, 1 Or gate. когда я запускаю симуляцию, любой из ворот запускается случайным образом без следующей последовательности схемы, то есть некоторое время или сначала симуляция, или симуляция второго Xor сначала. Чтобы избежать этого, я объявляю некоторые каналы связи и некоторые переменные и добавляю эти каналы и переменные в раздел параметров, чтобы ворота моделировались в определенной последовательности. Но после добавления каналов и переменных я страдаю ошибкой - "память исчерпана".
В модуле проверки моделей Nusmv, если мы создаем экземпляры меньших модулей в главном модуле, мы также можем написать некоторый код в main вместе с экземплярами, что минимизирует количество переменных в экземплярах модулей. мы можем сделать подобное в Уппале. Есть ли способ создать один шаблон в другой. или любой намек на создание цепей от базовых вентилей без ошибок памяти или с минимальными параметрами. Я принимаю правильную технику для создания большой схемы из меньших цепей. Я использовал Uppaal на основе графического интерфейса. Спасибо за ваше время и помощь