For the most recent entries see the
Petri Nets Newsletter.
Nowick, S.M.
-
McGee, Peggy B.;
Nowick, Steven M.;
Coffman Jr., E. G.:
Efficient performance analysis of asynchronous systems based on periodicity.
2005.
-
Dill, David L.;
Nowick, Steven M.;
Sproull, Robert F.:
Automatic Verification of Speed-Independent Circuits with Petri Net Specifications.
1989.
-
Dill, D.L.;
Nowick, S.M.;
Sproull, R.F.:
Specification and Automatic Verification of Self-Timed Queues.
1989.
-
Nowick, Steven M.;
Dill, David L.:
Practicality of State-Machine Verification of Speed-Independent Circuits.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography