Formal verification method of simulation scenario based on high-level Petri nets

Kongzhi yu Juece/Control and Decision

Volumn 21, Issue 11, 2006, Pages 1208-1213

  Liu, Fei ^a   Yang, Ming ^a   Wang, Zi Cai ^a  

^a HARBIN INSTITUTE OF TECHNOLOGY   (China)

Author keywords

Formal verification; High level Petri nets; Simulation scenario; Tool framework

Indexed keywords

COMPUTER SIMULATION; ERRORS; XML;

FORMAL VERIFICATION; HIGH LEVEL PETRI NETS; SIMULATION SCENARIO; TOOL FRAMEWORK;

PETRI NETS;

EID: 33845884092     PISSN: 10010920     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (11)

1. Defense Modeling, Simulation Office. Department of Defense Verification, Validation, and Accreditation Recommended Practices Guide[M]. Alexandria: Department of Defense, 2000.
2. David C Gross. Report from the Fidelity Implementation Study Group[A]. Proc of 1999 Spring Simulation Interoperability Workshop[C]. Orlando: SISO, 1999.
3. Berthelot, Pascal Aygalinc, et al. Verification Technique for Time Petri Nets[A]. 2004 IEEE Int Conf on Systems, Man and Cybernetics[C]. Hague, Netherlands: IEEE, 2004, 4278-4283.
4. Daniel Lamch. Verification and Analysis of Properties of Dynamic Systems Based on Petri Nets[A]. Proc of the Int Conf on Parallel Computing in Electrical Engineering[C]. Warsaw, Poland: IEEE, 2002.
5. Wang J C, Deng Y, Xu G. Reachability Analysis of Real-Time Systems Using Time Petri Nets[J]. IEEE Trans on Systems, Man, and Cybernetics-Part B: Cybernetics, 2000, 30(5): 725-736.
6. Jonathan Billington, Geoffrey R Wheeler, Michael C Wilbur-Ham. Protean: A High-level Petri Net Tool for the Specification and Verification of Communication Protocols[J]. IEEE Trans on Software Engineering, 1998, 14(3): 301-316.
7. Huber P, Jensen K, Shapiro R M. Hierarchies in Coloured Petri Nets[A]. Advance in Petri Nets 1990[C]. Berlin: Springer-Verlag, 1990: 313-341.
8. Jonathan Lee, Lein F Lai. A High-level Petri Nets Based Approach to Verifying Task Structures[J]. IEEE Trans on Knowledge and Data Engineering, 2002, 14(2): 316-335.
9. Mats P E Heimdahl, Nancy G Leveson. Completeness and Consistency in Hierarchical State-based Requirements[J]. IEEE Trans on Software. Engineering, 1996, 22(6): 363-377.
10. Marsha Chechik, John Gannon. Automatic Analysis of Consistency between Requirements and Designs[J]. IEEE Trans on Software Engineering, 2001, 27(7): 651-672.
11. Joseph Giarratano, Gary Riley. Expert Systems Principles and Programming[M]. PWS Publishing Company, 1998: 1-20.