For the most recent entries see the
Petri Nets Newsletter
.
Keyword: execution path
Yang, Yuch Chen
;
Yang, T. C.
:
Modeling and Performance Evaluation of RISC/B Processor.
1990.
Janicki, R.
;
Koutny, M.
:
Towards a Theory of Simulation for Verification of Concurrent Systems.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography