For the most recent entries see the Petri Nets Newsletter.

Net-Based Modeling and Verification of Asynchronous Circuits.

Reicher, I.; Yoeli, M.

TECHNION, Israel Inst. of Technology, Dept. of Computer Science, Haifa, Technical Report No. 463, August 1987.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography