上海交通大学学报(英文版) ›› 2017, Vol. 22 ›› Issue (1): 92-098.doi: 10.1007/s12204-017-1806-8

• • 上一篇    下一篇

Research of Legal Affair Simulation Based on Petri Net

QU Zhenxin* (屈振新), WANG Mengzhu (王梦竹)   

  1. (School of Information and Safety Engineering, Zhongnan University of Economics and Law, Wuhan 430073, China)
  • 出版日期:2017-02-28 发布日期:2017-04-04
  • 通讯作者: QU Zhenxin* (屈振新) E-mail:quzx@zuel.edu.cn

Research of Legal Affair Simulation Based on Petri Net

QU Zhenxin* (屈振新), WANG Mengzhu (王梦竹)   

  1. (School of Information and Safety Engineering, Zhongnan University of Economics and Law, Wuhan 430073, China)
  • Online:2017-02-28 Published:2017-04-04
  • Contact: QU Zhenxin* (屈振新) E-mail:quzx@zuel.edu.cn

摘要: 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.

关键词: Petri net, legal affair, simulation, workflow

Abstract: 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.

Key words: Petri net, legal affair, simulation, workflow

中图分类号: