我正在使用基本门在 UPPAAL 中制作电路。为此，我在系统声明中实例化这些门以制作所需的电路。我在参数部分声明了门的 I/O，然后在系统声明中使用所需的 I/O 变量实例化这些参数值，以制作特定的电路。
假设我想从 2 Xor,2 And, 1 Or gate 做全加器。当我运行模拟时，任何一个门随机启动而不遵循电路顺序，即一段时间或先模拟，第二个异或先模拟。为了避免这种情况，我声明了一些通信通道和一些变量，并将这些通道和变量添加到参数部分，以便以固定序列模拟门。但是在添加通道和变量之后，我遇到了错误-“内存耗尽”。
在模型检查器 Nusmv 中，如果我们在主模块中实例化较小的模块，我们还可以在实例化的同时在 main 中编写一些代码，这样可以最大限度地减少模块实例化中的变量数量。我们可以在乌帕尔做类似的事情吗？有没有办法将一个模板实例化为另一个模板。或任何从基本门制作电路而不会出现内存错误或使用最少参数的提示。我是否采用正确的技术从较小的电路制作大电路。我使用了基于 GUI 的 uppaal。感谢您的时间和帮助