论文信息 - Conflict handling in high level Petri Nets

Conflict handling in high level Petri Nets

Abstract The main new result of the research work reported in the paper is a methodology for detecting and signalizing conflicts in high level Petri Nets applied in simulating complex systems.

A. Jávor | Á. Vigh

[1] A. Jávor. Petri nets and AI in simulation , 1992 .

[2] Jonathan Billington,et al. PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols , 1988, IEEE Trans. Software Eng..

[3] András Jávor. Dual nature of events in discrete simulation , 1983 .

[4] András Jávor. Design controlled simulation , 1992 .

[5] Bernard P. Zeigler,et al. Multifacetted Modelling and Discrete Event Simulation , 1984 .