-
题名Petri网连接过程中的行为关系
被引量：2
- 1
-
-
作者
蒋昌俊
王怀清
廖少毅
-
机构
同济大学电子与信息工程学院
合肥工业大学计算机与信息学院合肥
山东矿业学院计算模型与算法研究所泰安
香港城市大学资讯系统学系
-
出处
《自动化学报》
EI
CSCD
北大核心
2000年第1期100-104,共5页
-
基金
国家自然科学基金
山东省优秀青年科学家基金
+1 种基金
山东省自然科学基金
山东省计划资助项目
-
文摘
先前的Petri网模型的综合研究着重在性质的保持性方面,象活性、可达性和回归性.然而,系统行为关系的保持性研究应该更为重要.本文研究了Petri网模型自环连接、抑止弧连接和同步连接三种操作的行为关系,获得他们的语言关系公式,这些结果为Petri网模型综合过程中的动态行为分析提供了形式工具.
-
关键词
PETRI网
行为
复杂系统
系统科学
-
Keywords
Model, Petri net, connection, behavior.
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名求解孙子问题的算法及符号计算软件
被引量：2
- 2
-
-
作者
衷仁保
马建
-
机构
南昌大学计算机研究所
-
出处
《小型微型计算机系统》
EI
CSCD
北大核心
1996年第12期20-25,共6页
-
基金
国家自然科学基金
-
文摘
本文阐述在计算机上求解孙子问题的算法，并在微型机上用符号计算语言ＣＡＳＣ实现了这些算法。软件ＣＨＩＮＲＥＭＤ可对任意大整数情况求解孙子问题。
-
关键词
符号计算
计算机代数
孙子问题
软件
-
Keywords
Symbolic computation, Computer application, Computer algebra, Chinese remainder problem
-
分类号
O24
[理学—计算数学]
-
