Research of Legal Affair Simulation Based on Petri Net

doi:10.1007/s12204-017-1806-8

Abstract

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

摘要： 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

CLC Number:

TP 301

QU Zhenxin* (屈振新), WANG Mengzhu (王梦竹). Research of Legal Affair Simulation Based on Petri Net[J]. Journal of shanghai Jiaotong University (Science), 2017, 22(1): 92-098.

References 15

[1]	BUCHANAN B G, HEADRICK T E. Some speculationabout artificial intelligence and legal reasoning [J].Stanford Law Review, 1970, 23(1): 40-62.
[2]	ZHANG B S. Jurisprudential thinking on artificial intelligencelegal system [J]. Law Review, 2001, 5: 11-21(in Chinese).
[3]	LIU M L. Legal experimental teaching system—aLETS software-based teaching research [J]. Legal EducationResearch, 2015, 1: 71-85 (in Chinese).
[4]	PETRI C A. Communication with automata [D].Mathematical Institute of the University of Bonn, 1962(in German).
[5]	MURATA T. Petri nets: properties, analysis and applications[J]. Proceedings of the IEEE, 1989, 77(4):541-580.
[6]	DESEL J, REISIG W. The concepts of Petri nets [J].Software & Systems Modeling, 2015, 14(2): 669-683.
[7]	VAN DER AALST W, VAN HEE K M. Workflowmanagement: models, methods and systems [M]. USA:MIT press, 2000.
[8]	WANG J X, LI YM, XU J.Workflow process modelingbased on colored WF logic net [J]. Computer Systems& Applications, 2010, 19(5): 121-124 (in Chinese).
[9]	YUAN C Y. Principle and application of Petri net[M]. Beijing: Publishing House of Electronics Industry,2005.
[10]	HOLLINGSWORTH D, HAMPSHIRE U K.Workflowmanagement coalition the workflow reference model[J]. Workflow Management Coalition, 1995, 68: 26.
[11]	LUO H B, FAN Y S, WU C. Overview of workflowtechnology [J]. Journal of Software, 2000, 11(7). 899-907 (in Chinese).
[12]	CUMBERLIDGE M. Business Process Managementwith JBoss jBPM [M]. Birmingham: Packt PublishingLtd., 2007.
[13]	WOHED P, RUSSELL N, TER HOFSTEDE A H M,et al. Patterns-based evaluation of open source BPMsystems: the cases of jBPM, OpenWFE, and EnhydraShark [J]. Information and Software Technology, 2009,51(8): 1187-1216.
[14]	FOX J B, DONOHUE J M, WU J. The arbitration oflabor disputes in China today: definition and implications[J]. Employee Responsibilities and Rights Journal,2005, 17(1): 19-29.
[15]	MENG Y G, SONG W, YE J H. Reducing of workflowlogic net based on Petri nets by using matrix [J].Microcomputer Information, 2006, 22(7): 49-51 (inChinese).