Keyword: synchronization

• Benalycherif, Mohamed-Lyes; Girault, Claude:
  Behavioural and Structural Composition Rules Preserving Liveness by Synchronisation for Colored FIFO Nets. 1996.

• Wong, Johnny; Kini, Sriram; Doobagunta, Kishore:
  Synchronization in specification-based multimedia presentations. 1996.

• Anisimov, N.A.; Kovalenko, A.A.:
  Towards Petri Net Calculi based on Synchronization via Places. 1995.

• Franzen, H.; Siegel, G.:
  Die Methode der strukturierten Analyse mit Petri-Netzen (SA/PN) als Echtzeiterweiterung. 1991.

• Johnen, Colette; Mourlin, Fabrice:
  Analysis of the Communication Structure of Occam2 Programs Using Petri Nets. 1991.

• Jeffrey, J.; Murata, Tadao:
  A High-Level Petri Net for a Subset of FGHC. 1990.

• Little, Thomas D.C.; Ghafoor, Arif:
  Multimedia Object Models for Synchronization and Databases. 1990.

• Menga, G.; Morisio, M.:
  Controlling and Planning Discrete Part Manufacturing Systems: the Prototyping Solution. 1990.

• Zielinski, C.:
  Petri Net Description of the Functioning of a Robot Equipped with Sensors. 1990.

• Little, Thomas D.C.; Ghafoor, Arif:
  Synchronization and Storage Models for Multimedia Objects. 1990.

• Esparza, Javier; Silva, Manuel:
  Compositional Synthesis of Live and Bounded Free Choice Nets. 1990.

• Hümbs, Wolfgang; Kuzyk, Klaus:
  Systemverklemmung. Charakterisierung und Erkennung. 1989.

• Stotts, P.David; Furuta, Richard:
  alphaTRELLIS: A System for Writing and Browsing Petri-Net-Based Hypertext. 1989.

• Johansson, Kaj:
  Modelling Message Protocols for the Byzantine Generals Problem with PrT-Nets. 1988.

Back to the Petri Nets Bibliography