Research of legal affair simulation based on Petri net

详细信息    查看全文

• 作者：Zhenxin Qu 屈振新 ; Mengzhu Wang 王梦竹
• 关键词：Key wordsPetri net ; legal affair ; simulation ; workflow
• 刊名：Journal of Shanghai Jiaotong University (Science)
• 出版年：2017
• 出版时间：February 2017
• 年：2017
• 卷：22
• 期：1
• 页码：92-98
• 全文大小：
• 刊物类别：Engineering
• 刊物主题：Electrical Engineering; Materials Science, general; Computer Science, general; Architecture, general; Life Sciences, general;
• 出版者：Shanghai Jiaotong University Press
• ISSN：1995-8188
• 卷排序：22

文摘

Legal affair simulation is on the basis of information technology, and can simulate legal scene. College students do legal experiments with virtual reality scene. This helps to train college students. Petri net has not only strict math definition to analyze the dynamic behavior of models, but also intuitive graphic expression. Petri net is used to model for legal process. Reduction rules of Petri net are used to analyze the correctness of the system. At last Java Business Process Management (JBPM) technology is used to realize legal affair simulation models, models are transformed into flow charts. Simulation software deduces processes of legal affair. Many college students have improved their ability with the software, the fact proves that the method is effective.