DocumentCode
1634551
Title
EDSIM-a Petri net simulator
Author
Forward, Kevin E. ; Ho, Carlson
Author_Institution
Dept. of Electr. & Electron. Eng., Melbourne Univ., Parkville, Vic., Australia
fYear
1992
Firstpage
186
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/TENCON.1992.271958
Filename
271958
Link To Document