【摘 要】
：
随着信息技术和管理理论的发展 ,工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petri Net是一种强有力的形式描述技术 ,它广
【机 构】
：
内蒙古大学计算机院!010021,山西省交通运输管理局!030002
论文部分内容阅读
随着信息技术和管理理论的发展 ,工作流技术正在成为当今技术的热点。于是对于工作流管理系统的描述和验证也变得越来越重要了。Petri Net是一种强有力的形式描述技术 ,它广泛地应用于各种软件、硬件的形式描述和验证过程中。本文给出用 petri net描述工作流的一种方法 ,并给出一个具体实例
With the development of information technology and management theory, workflow technology is becoming a hot spot in today’s technology. Therefore, the description and verification of workflow management system have become more and more important. Petri Net is a powerful formal description technique that is widely used in the formal description and verification of various software and hardware. In this paper, a method of describing workflow with Petri net is given and a concrete example is given
其他文献
“如果你在今天晚饭之前没有把作业完成就别吃晚饭了,知道了吗?”爸爸出门前又是这样一句.于是我开始写作业,可我越写越觉得冤枉——为什么每次逼我写作业总是用这种态度呢?
在洛杉矶海岸线上,有一块人造的波希米亚飞地——威尼斯海滩,它备受嬉皮士们的吹捧。这一天阳光灿烂,我们准备在威尼斯运河沿岸为妲露拉·莱莉摄影,她就是我们今天的主角。在
一、引言十年前运算放大器本身还是个很复杂的组件,而且也是一种测量仪器。然而,随着IC的发展,出现了在价格和可靠性方面都可以和单个晶体管相比拟的具有良好性能的运算放大
一、引言近两年来,在几篇资料中业已讨论了有意义的 n 型 GaAs 肖特基势垒的电容性能。威廉斯观察了在施加于二极管的偏压变为更负值之后电容与时间的关系。这个效应解释为
去年春天的一天，我和爸爸、妈妈一起去桥巩（ɡǒnɡ）乡看油菜花。一路上，我兴奋极了，多么期望能早点看到美丽的油菜花。 到了桥巩乡油菜花地，我们兴奋地跑进油菜花中间，仿佛进入了花的海洋。大片黄色的油菜花铺在田野上，像极了一张金黄色的地毯（tǎn），给人一种清新、快乐的感觉。油菜花丛中有许多小蜜蜂在采蜜，还有一群群蝴蝶在跳舞……油菜花地的远处有一座房子，还有几座高耸（sǒnɡ）的山峰，与这片油菜花，
修订后的冀教版教材,既执行了修订后的英语课程标准的要求,同时也保留着本教材特色,可操作性与实用性更强,更有利于教师的教学。本文以四年级上册Unit4为例,分析教材的变化,
糖尿病性黄斑水肿 (diabeticmacularedema ,DME)是引起糖尿病患者视力恶化的主要原因。自激光应用于眼科以来 ,根据资料和研究表明激光治疗黄斑水肿可以稳定和提高患者的视力
“妈妈,我想你!”“瑞瑞乖,等你快快长大点,妈妈把你带到彭州读书。”“哈!……”这是地震前夕,四川省彭州市公安局政工监督室民警蒋敏和她远在北川县,朝思暮想的两岁小宝贝
拟异尾华枝ＳｉｎｏｐｈａｓｍａｐｓｅｕｄｏｍｉｒａｂｉｌｅＣｈｅｎ雌、雄性的个体取食量：雌性一生总食叶量为１７．８８ｌｇ，其中１～４龄低龄若虫期的占５．４８％，５～７龄老龄若虫期的占２２．７１％，成虫期的占７１．８１％；雄性为７．２１５ｇ，其中１～４龄低龄若虫期的占６．２０％，５～６龄老龄若虫期的占３１．１０％，成虫期的占６２．７０％，老龄若虫期和
大叶樟树生长快、材质好,树冠优美,是珍贵树种之一.(一)采集良种:选择健壮.主干明显通直.分枝较高,树冠发达,无病虫害,结实的20年生以上的母树,在9—10月,果皮由青变紫再转