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.
Towards a Theory of Simulation for Verification of Concurrent Systems.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography