Petri网的背景 卡尔·A·佩特里是一名物理学家,他发明Petri网主要是从物理的角度去描述并发现象的。据佩特里本人所述,他认为60年代自动机理论由于缺乏并发(Concurrence)概念不适合于表达现代物理学理论,例如狭义相对论(Special Relativity)和不确定性原理(Uncertainty Principle)。Petri网的一个重要的贡献,就是Petri网里面不存在所谓的“全局时间”的概念,它能够很容易地表达狭义相对论的观点。即Petri网可以描述每一个节点的拥有自己的独立时序,只要条件满足,就可以发生。从狭义相对论的观点出发,两个时空点之间如果没有因果关系把它们连接起来(或者说“类空”的),它们就是独立的,不能说其中一个发生在前另一个在后或者相反。因此,Petri网里面的两种变迁(见下文)如果都有发生的条件,则不能认为其执行顺序有任何关系。然而,Petri网旨在描述变迁之间的因果关系,并由此构造时序。
澳大利亚是发达国家吗?有什么世界先进的领域?我曾经在澳大利亚留学,所以这个问题我觉得我有资格回答的。澳大利亚当然是发达国家,人均GDP以及人均收入都超过了日本与。
离散数学一般应用到哪些方面?怎么用? 离散数学不过是个总称,它包括一切以离散变量为元素的数学,它的特点往往是比较具体,在实际生活中能找到实例来说明.这和一些异常抽象的数学分支(如泛函,拓扑)不同.数理逻辑是理论计算机研究领域之一,在欧洲的研究工作开展的很好.它主要应用于人工智能的逻辑演算方面,还有数据库领域的模型设计等等.近世代数则讲述群,环,域三种基本的代数结构,这可是现代代数的基本工具.在数论的研究方面,一些尖端课题都是用他们来描述的.而数论则是计算机密码学的基本算法设计工具.还有楼上所讲的\"图论\",也非常重要.图论\"原来属于\"组合数学\"课程,但是20世纪得到蓬勃的发展.计算机很多领域都要用到图这个抽象的模型,网络中的Petri网模型,工程上的网络流(AOV,AOE)图,都要借助图论来指导算法设计.这只是一些典型的例子,离散数学还有很多的用处.可以这么说,脱离的离散数学,更广义的说,脱离了数学,计算机根本不可能得到发展.