Timed Petri nets as a verification tool

Authors:
Miryam Barad
Affiliations:
Department of Industrial Engineering, Faculty of Engineering, Tel Aviv University, Ramat Aviv, Tel Aviv 69978, ISRAEL
Venue:
Proceedings of the 30th conference on Winter simulation
Year:
1998

Citing 2
Cited 2

Simulation model verification and validation

WSC '91 Proceedings of the 23rd conference on Winter simulation
Tests for the verification and validation of computer simulation models

WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 2

Performance Simulation And Design Of Petri Net Systems

Journal of Integrated Design & Process Science
GA optimization of Petri net-modeled concurrent service systems

Applied Soft Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract