Keyword: distributed system

• Yamaguchi, Hirozumi; El-Fakih, Khaled; von Bochmann, Gregor; Higashino, Teruo:
  Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. 2003.

• Goch, G.:
  Modellierung, Simulation und Steuerung von Mehrprozessor-MeÑgeräten und verteilten Systemen in der Qualitätssicherung. 1991.

• Hopkins, R.P.:
  Distributable Nets. 1991.

• Battiston, E.; De Cindio, F.; Mauri, G.; Rapanotti, L.:
  Morphisms and Minimal Models for OBJSA Nets. 1991.

• Krämer, Bernd; Luqi,:
  Toward Formal Models of Software Engineering Processes. 1991.

• Bhatia, Randeep S.; Murata, Tadao; Shatz, Sol M.:
  Application of Generalized Stochastic Petri Nets to Task Allocation in Distributed Systems. 1990.

• Dahmen, J.-H.:
  A Concept for the Integration of Modelling and Debugging. 1990.

• Franky, Mari Consuelo:
  JOYCE⁺: Model and Language for Multi-Site Distributed Systems. 1990.

• Concurrency and Compositionality. Extended abstracts of the 2nd Workshop on Concurrency and Compositionality, 1990, San Miniato. 1990.

• Pelz, Elisabeth:
  Logic Versus Sequential and Concurrent Behaviour. 1990.

• Rapanotti, Lucia:
  A Semantical Characterization of OBJSA Nets. 1990/91.

• Schepers, J.:
  GRAPH. Eine auf Petri-Netzen basierende Entwicklungsumgebung für verteilte Systeme. 1990.

• Wikarski, D.:
  Object Nets - a Canonical Class of Models for Behaviour Simulation and Structure Synthesis of Distributed Systems? 1990.

• Zompi, R.; Russi, V.:
  Rapid Prototyping through Graphical Operational Specification and Automated Code Generation. 1990.

• Lodaya, Kamal; Mukund, Madhavan; Ramanujam, R.; Thiagarajan, P.S.:
  Models and Logics for True Concurrency. 1990.

• Baldassari, Marco; Bruno, Giorgio; Russi, Vicenzo; Zompi, Roberto:
  PROTOB, a Hierarchical Object-Oriented CASE Tool for Distributed Systems. 1989.

• Baldassari, Marco; Bruno, Giorgio; Russi, Vicenzo; Zompi, Roberto:
  PROTOB, a Hierarchical Object-Oriented CASE Tool for Distributed Systems. 1989.

• Oberweis, A.:
  Integritätsbewahrendes Prototyping von verteilten Systemen. 1989.

• Peuker, R.:
  Petri-Netz-Modell eines verteilten ProzeÑdatenverarbeitungssystems. 1989.

• Smith, Einar:
  Zur Bedeutung der Concurrency-Theorie für den Aufbau hochverteilter Systeme. 1989.

• Wilczkowiak, E.:
  Applications of Timed Petri Nets to Model the Real Time Distributed Systems. 1989.

• Yao, Yu-Lin; Sun, Zhen-Fei:
  Simulating the Communication in the Distributed System. 1989.

• Dhama, H.S.:
  A Net Method for Specification on Reusable Software. 1989.

• Chen, Jean M.:
  Dataflow Analysis of Distributed System Software Design Using Modified Petri Nets. 1988.

• Müller, Horst:
  Höhere Petri Netze --- ein Werkzeug für die Modellierung and Analyse verteilter Systeme und paralleler Datenverarbeitungsprozesse. 1988.

• Quichaud, Daniele:
  Analyse des reseaux bipolaires pour la coherence et l'evaluation des systemes paralleles. 1988.

• Marinescu, D.C.; Rice, J.R.:
  Modeling Hardware-Software Interactions in Parallel and Distributed Systems Using Stochastic High Level Petri Nets. 1988.

• Graphical Petri Net Tool for the Design and Prototyping of Distributed Systems, SPECS-Project, ETH, Zürich (Switzerland). 1987.

• Razouk, Rami R.:
  A Guided Tour of P-NUT (Release 2.2). 1987.

• Razouk, Rami R.:
  A Guided Tour of P-NUT (Release 2.1). 1986.

• Starke, Peter H.:
  On the Concurrency of Distributed Systems. 1983.

Back to the Petri Nets Bibliography