【摘 要】
：
法院民事诉讼流程的建模和评价是实现其流程重组、优化和改进以及资源合理配置的基础.该文提出了采用形式化建模语言Petri网来建模法院当前的民事诉讼流程,从而可以利用Petri
论文部分内容阅读
法院民事诉讼流程的建模和评价是实现其流程重组、优化和改进以及资源合理配置的基础.该文提出了采用形式化建模语言Petri网来建模法院当前的民事诉讼流程,从而可以利用Petri网分析方法(可达图、不变量)对民事诉讼流程进行正确性分析,如不存在死锁、活锁等.在此基础上,通过考虑流程中各活动的执行时间,应用随机时间Petri网对诉讼流程进行性能分析,从而可以估算诉讼流程的平均周期时间、各资源的利用率等性能指标,为法院诉讼流程的重组、优化和改进提供了决策上的支持.
其他文献
近年来,文化记忆作为一种新的跨学科的理论视角,将文学、媒介研究与社会学、历史学等多学科联系在一起,形成了诸多颇有活力的研究议题。首先是创伤历史的媒介表征问题,它将记
目前,随着新课程改革的不断深入,国家对学生实践能力的要求不断提高。培养学生实践能力有赖于像生物这样的实践性学科。但生物教师目前普遍对生物实验教学缺乏重视。因此,初
目的分析中医固脑益智汤对老年血管性痴呆患者的治疗效果。方法试验对象选择为宁津县中医院接收的72例老年血管性痴呆患者,病例入选时间为2018年8月~2020年5月,采取随机数字
英语是国际通用语言,也是每个学生必学的一门外语课程,是立足现代文明社会不可缺少的文化知识。根据现代社会的快速发展,对学生的教育要求也是更加的全面。每一门学科之间都
新课改背景下,初中地理课堂也亟需改革,众多选择里我们选择了探究式教学。探究式教学的主体是学生,注重从学生的已有知识体系出发,引导和鼓励学生独立思考,从解决问题中体会
信息化、数据化时代的到来,给教育带来新的机遇与挑战,海量的信息,纷繁的社会,浮躁的事态,令中学生目不暇接, 这些势必对教育提出更高的要求。如何让学生能够安静、和谐的专
在高中数学教学过程中,为了培养学生们的数学学习兴趣,调动学生学习的积极性和自主性。高中数学教师要合理运用情境创设的教学方式,引导学生们对数学知识内容进行学习,提高数
目的探讨慢性粒细胞白血病合并肺腺癌患者靶向药物治疗的药学监护要点。方法对1例服用达沙替尼和埃克替尼的慢性粒细胞白血病合并肺癌的患者进行药物治疗监护,分析其食物药物
《3-6 岁儿童学习与发展指南》指出“别人在对自己说话时能够注意听对方的话并作出回应;能听懂日常会话”。因此, 我们在日常语言活动中要培养幼儿良好的倾听习惯,这是幼儿在
目的探讨临床药师参与肿瘤患者并发导管相关性血栓和感染治疗实践和药学监护。方法临床药师结合肿瘤患者的病情和临床治疗方案查阅文献和相关指南,提出个体化药物治疗建议,实