Yoeli, M.

• Yoeli, Michael; Kohn, Emil Dan:
  Petrify-Based Verification of Asynchronous Circuits - Three Case Studies. 2000.

• Yoeli, Michael; Ginzburg, Abraham:
  Petri-net Based Verification of Asynchronous Circuits. 1999.

• Wolfstahl, Y.; Yoeli, M.:
  An equivalence theorem for labeled marked graphs. 1994.

• Yoeli, Michael:
  Net-Based Synthesis of Delay-Insensitive Circuits. 1990.

• Yoeli, M.:
  Specification and Verification of Asynchronous Circuits Using Marked Graphs. 1987.

• Yoeli, M.:
  Structured Design of the Control Parts of Self-timed VLSI-Systems. 1987.

• Reicher, I.; Yoeli, M.:
  Net-Based Modeling and Verification of Asynchronous Circuits. 1987.

• Ginzburg, A.; Yoeli, M.:
  Reducibility of Synchronization Structures. 1985.

• Pehrson, B.; Yoeli, M.:
  A Communicating System Net Model for Specification and Verification of Distributed Systems. 1985.

• Yoeli, M.; Etzion, T.:
  Behavioral Equivalence of Concurrent Systems. 1983.

• Yoeli, M.:
  Synthesis of Concurrent Systems. 1982.

• Etzion, T.; Yoeli, M.:
  The Hierarchy of Labelled Super-Nets. 1981.

• Porat, S.; Yoeli, M.:
  Towards a Hierarchy of Nets. 1981.

• Etzion, T.; Yoeli, M.:
  A Note on Petri Net Languages. 1981.

• Etzion, T.; Yoeli, M.:
  Super-Nets and Their Hierarchy. 1981.

• Yoeli, M.; Ginzburg, A.:
  Control Nets for Parallel Processing. 1980.

• Yoeli, M.; Ginzburg, A.:
  Petri Net Languages and Their Applications. 1978.

• Ginzburg, A.; Yoeli, M.:
  Vector Addition Systems and Regular Languages. 1978.

• Barzilai, Z.; Strasbourger, E.; Yoeli, M.:
  On Structured Parallel Programming. 1978.

• Yoeli, M.:
  A Structured Approach to Parallel Programming and Control. 1978.

• Barzilai, Z.; Strasbourger, E.; Yoeli, M.:
  Concurrent System Modelling by Conditional Petri Nets. 1978.

• Yoeli, M.; Ladin, R.; Barzilai, Z.:
  The Behavioral Description of Arbiters. 1978.

• Yoeli, M.; Barzilai, Z.:
  Behavioural Descriptions of Communication Switching Systems Using Extended Petri Nets. 1977.

• Yoeli, M.; Brzozowski, J.A.:
  Ternary Simulation of Binary Gate Networks. 1977.

• Yoeli, M.; Brzozowski, J.A.:
  A Model of Parallel Computation Structures. 1976.

• Brzozowski, J.A.; Yoeli, M.:
  Practical Approach to Asynchronous Gate Networks. 1976.

• Herzog, O.; Yoeli, M.:
  Control Nets for Asynchronous Systems, Part I. 1976.

• Yoeli, M.:
  Petri Nets and Asynchronous Control Networks. 1973.

Back to the Petri Nets Bibliography