Keyword: synthesis

• Xia, Chuanliang:
  Analysis of Properties of Petri Synthesis Net. 2006.

• Yakovlev, Alex; Furber, Steve; Krenz, René; Bystrov, Alexandre:
  Design and Analysis of a Self-Timed Duplex Communication System. 2004.

• Jard, Claude:
  Synthesis of distributed testers from true-concurrency models of reactive systems. 2003.

• Czaja, Ludwik; Kudlek, Manfred:
  Omega-Process languages for place/transition nets. 2001.

• Prothero, Dave:
  Modelling and Implementation of Petri Nets Using VHDL. 2000.

• Cortadella, J.; Kishinevsky, M.; Lavagno, L.; Yakovlev, A.:
  Deriving Petri nets from finite transition systems. 1998.

• Yakovlev, A.:
  Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets. 1998.

• Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A.:
  Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. 1997.

• Yakovlev, A.; Koelmans, A.M.; Semenov, A.; Kinniment, D.J.:
  Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets. 1996.

• Yakovlev, A.; Lavagno, L.; Sangiovanni-Vincentelli, A.:
  A unified signal transition graph model for asynchronous control circuit synthesis. 1996.

• Chao, Daniel Y.; Wang, David T.:
  An interactive tool for design, simulation, verification, and synthesis of protocols. 1994.

• Esparza, Javier; Silva, Manuel:
  On the Analysis and Synthesis of Free Choice Systems. 1991.

• Seiche, W.; Abel, D.; Rake, H.:
  Analysis and Synthesis of Discrete-Event Distributed Systems Using Petri Nets. 1991.

• Haus, Goffredo; Sametti, Alberto:
  Scoresynth: A System for the Synthesis of Music Scores Based on Petri Nets and a Music Algebra. 1991.

• Esparza, J.:
  Reduction and Synthesis of Live and Bounded Free Choice Nets. 1991.

• Ehrenfeucht, A.; Rozenberg, G.:
  Partial (Set) 2-Structures. II. State Spaces of Concurrent Systems. 1990.

• Uchihira, N.; Honiden, S.:
  Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic. 1990.

• Uchihira, N.; Honiden, S.:
  Verification and Synthesis of Concurrent Programs Using Petri Nets and Temporal Logic. 1990.

• Esparza, Javier:
  Structure Theory of Free Choice Petri Nets. 1990.

• Nishimura, R.; Zaky, S.G.:
  Synthesis of a Petri Net Based Control Flow Model. 1989.

• Mamikonov, A.G.; Kulba, V.V.:
  Synthesis of Optimal Modular Systems in Data Processing. 1986.

• Gasitashvili, Z.A.; Stepanovskaya, I.A.:
  On an Approach to Automatic Synthesis of Parallel Simulating Programs. 1985.

Back to the Petri Nets Bibliography