关于北京大学计算机系-这里做过简介。这页主要介绍该系袁崇义教授及其90年代赠送给我的下面书籍并邀请我去北京大学做的Petri网：袁崇义教授和海南琼大的副导师杨照华教授同在1964年读华罗庚的研究生/我这副导师杨照华教授兼在北大跟闵教授读研[同班读研的何新贵院士虽2002年才回北大但其5本书我都全读]-他俩毕业后同进中科院数学所工作。不过袁崇义教授70年代末去加拿大多伦多大学转做计算机软件开发八十年代多次去德国GMD做Petri网【萨苏的父亲是北大数学系学霸,华罗庚的学生,80年代和袁教授同去德国GMD研修[见萨苏的爱奇艺、b网视频、百度视频、好看视频以及央视网等]，北大该系成名前没出过国的这里全国第3人王选[第1人吴文俊高度评价推进海南琼大]和杨芙清何新贵院士等都是这里只写逼近论书的徐献瑜教授的学生】。有一个与Petri网相近的学科-就是和胡汉民总理、李宗仁总统等在国民党第四次代表大会上呼吁创建这页最后段的母校勷勤大学的陈济棠的儿子陈树柏教授主编1982年出版的《网络图论及其应用》-而海南琼州大学曾在“图论”的一些领域居世界领先。关于这书就如陈树柏教授在这书序言说“1980年我接受中国科学院邀请，在中国科学院研究生院讲授了‘网络图论及其应用’的专题讲座，其内容采自我写的三本书，其中有网络图论及计算机应用部分，加以我近数年发表图论在集成电路及印刷电路板等方面的文章而组成。…本书在编写过程中得到了中国科学院副院长钱三强教授等的多次鼓励与支持”.
这领域可参考袁崇义教授1989年出版的我国第一本Petri网理论的专著《Petri网（佩特里网）》（翁史烈校长等人的论文就引用这书。下面附件是袁教授赠送我的这本书并邀请我去北大计算机系从事这领域。这书由东南大学出版社出版，而东南大学社长兼总编总经理就是说海南琼大是世界最好的宋理事长）。Petri网虽已成为中国计算机学会的一个分会叫做Petri网专委会，它主要涉及软件工程、人工智能、数据库管理、集成电路、并行计算等学科领域，如此,它的研究人员很多直接转做赚大钱研制工作。
这书第五章是“谓词/变迁系统和有色网系统”。其说逻辑上把我们的个体集称为论域，把没有主体的命题称为谓词。并习惯上往往把谓词和论域的子集等同起来：谓词P等同于论域中能使谓词P成真的那些元素所成的子集。当然，那是从论域元素为主体的谓词而言。
定义5.1：设D为非空有限集合，P为谓词，P的主体为D上的n元组，1. P(D)={(d1, d 2, …,dn)|
P(d1,
d 2, …,dn)}称为P的外延； 2. 若P(D)是固定的子集，就说P是D上的n元静态谓词；. 3. 若P(D)的外延是可变子集，就说P是D上的n元动态谓词或可变谓词。.
定义5.2：å=(P,
T; F, D, V, AP,
AT, AF, Mo)是谓词/变迁系统的条件是0. (P, T;
F)是个网，称为å的基网； 1.
D是非空有限集，称为å的个体集；D上有给定的运算符集W；. 2. V是D上的变量集； 3. AP：P ®p，其中p是D上的可变谓词集。对pÎP，若AP (p)是n元谓词，就说是n元谓词； 4. AT：T ®fD，其中fD是D上的公式集，对tÎT，若AT(t)只能包含静态谓词和W中得运算符； 5.
AF：F®fs，其中fs是D上的符号和之集，使得对n元谓词pÎP，(t, p)或(p, t)ÎF，则AF(t, p)或(p, t)为n元符号和。对tÎT，出现在公式AT(t)中得自由变量（即不受$和"约束的变量）恰为出现在以t为一端点的有向弧上的自由变量； 6. Mo：P ®fs，使得对n元谓词pÎP，则Mo(p)为n元符号和。 等等
第八章“赋逻辑轮”。
本章研究系统中的“死变迁”与逻辑学的关系。【关于我国解放后“新中国首批公派留美人员出国纪实”一文说“1978年，52人顺序登上飞机。之前方毅副总理等接见他们”；可下面见邀请海南琼大的袁崇义教授1977年已去加拿大多伦多大学]
§8.1 赋逻辑结构； §8.2 网与命题逻辑； §8.3 网与一阶谓词逻辑； §8.4 网与程序逻辑及职责逻辑； §8.5 网与时态逻辑。
【可见海南琼州大学的母校老师们开创的逻辑学对这书有基本关键性用处特别是对上面2章]。
第九章 网拓扑 【网拓扑即图论拓扑就是我1999年邀请来我们海南深山琼州大学做报告的刘彦佩大师居于世界领袖地位的领域；当然不只北大做Petri网/象清华张钹院士指导的应用Petri网博士也于1996年毕业等等但它们不是我国的中心仅是兼做而已]
定义
设X为一点集，(X, q)构成一个网拓扑的条件是
1. qÍ2X； 2.
ÆÎqÙXÎq； 3. "AÎ2X : ÈaÎAaÎq； 4. "AÎ2X : ÇaÎAaÎq； 5. "xÎX : xÎqÅ x -Îq。
第十章 并发论
对于分布式系统和成百上千组合在一起的微处理器来说，并发都是十分重要的基本概念。 【关于其与图论的关系，这篇1989年的论文说“Petri网,作为一种图论方法”，可见图论是很广的学科。当然Petri网和图论一样也可延伸很多现代高科技新技能]
本章介绍以出现网为背景研究并发现象的结果，提出并发关系应该遵循的若干公理。
第十一章 信息流结构 【刚见下面邀海南琼大去北京大学的袁崇义教授和王建民院长开这课，并王建民主译04年出版H-index欧洲最高的Aalst主撰的“工作流”书如第212页“…建模的Petri网被称做工作流网”并Aalst的博士就做Petri网工作流].
这章共有2节：
第一节是“信息流图”； 第二节是“信息流图的网表示”。 这章全只讲信息流图--它就属于我们图论学科的这里这个基本而重要的“网络流”。【上面萨苏的父亲除去1964年和叶芳草合作的一篇/其它全部论文都是软件的图论度量的]
本书最后的第十二章是“应用”。【H-index欧洲最高的Aalst说1999年的项目时说“Process mining at
that time we call it workflow mining”，这正如袁崇义教授下面1989年的书内容简介说“本书是工业控制，数据通信，计算机理论等研究生的教材”].
蒋昌俊，最先并一直也常做图论。即他1986年山东科技大学本科毕业、并1988年就已担任校长助理（象宋振骐院士一直在该校工作都仅担任系主任所长，这可能是中国历史上甚至世界上担任校长助理级别最快的），并1988年至1991年读Petri网硕士研究生，其后1992年至1995年读PN机（即Petri网）博士研究生。（关于这领域1987年中国Petri网研究会成立，陆维明为理事长，袁崇义和吴哲辉为副理事长； 1993年8月中国计算机学会Petri网专业委员会进行了改选，袁崇义当选主任（那时袁崇义已从中科院调到北京大学），吴哲辉和复旦大学的吴时霖为副主任）。不过，其后随着量子信息、并行计算、集成电路、密码学以及人工智能等技术的推动而涌现出很多在第四次工业革命中起着重要作用的领域，使它除了自身的发展也在这些领域起重要作用。下面是袁崇义教授1989年出版的书：
