For the most recent entries see the
Petri Nets Newsletter.
Walter, D.
-
Little, Scott;
Seegmiller, Nicholas;
Walter, David;
Myers, Chris;
Yoneda, Tomohiro:
Verification of analog/mixed-signal circuits using labeled hybrid petri nets.
2006.
-
Little, Scott;
Walter, David;
Seegmiller, Nicholas;
Myers, Chris;
Yoneda, Tomohiro:
Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets.
2004.
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