Title :
EDSIM-a Petri net simulator
Author :
Forward, Kevin E. ; Ho, Carlson
Author_Institution :
Dept. of Electr. & Electron. Eng., Melbourne Univ., Parkville, Vic., Australia
Abstract :
A Petri net simulator is described. It is one of the tools developed in a project to produce a suite of well coordinated design tools with application in the design of complex, highly reliable digital systems. The simulator can be applied to a range of the most commonly used timed transition Petri nets. Features of the simulator such as the method it uses to resolve conflicts and the data structures which have been used to enhance its efficiency are described. Its performance is assessed
Keywords :
CAD; Petri nets; data structures; digital simulation; digital systems; EDSIM; Petri net simulator; conflict resolution; data structures; design tools; digital systems; efficiency; timed transition Petri nets; Application software; Automata; Computational modeling; Digital systems; Discrete event simulation; Hardware; Inhibitors; Petri nets; Protocols; Stochastic processes;
Conference_Titel :
TENCON '92. ''Technology Enabling Tomorrow : Computers, Communications and Automation towards the 21st Century.' 1992 IEEE Region 10 International Conference.
Conference_Location :
Melbourne, Vic.
Print_ISBN :
0-7803-0849-2
DOI :
10.1109/TENCON.1992.271958
