形式建模相关论文
政治学形式模型是通过提炼现实政治中的重要元素进行理论构建和逻辑推演的数理建模方法,主要包括基于社会选择理论、博弈论和委托......
目前，许多的公司和标准化组织提出了Web服务组装模型和特定描述语，然而，这些语言大部分比较复杂冗长，不易于理解。对于一些非常关键的......
时序Petri网结合Petri和时序逻辑的优点,清晰简洁地描述并发系统事件间的时序和因果关系,包括系统的最终性和公平性。文章给出安全......
