Keyword: distributed systems

• Kostin, Alexander E.:
  An Anycasting Protocol for Anonymous Access to a Group of Contents-Equivalent Servers in a Distributed System. 2006.

• Winkowski, Józef:
  An algebraic characterization of independence of Petri net processes. 2003.

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

• Narayanan, Srini; McIlraith, Sheila:
  Analysis and simulation of Web services. 2003.

• Purvis, M.; Cranefield, S.; Ward, R.; Nowostawski, M.; D., Carter; Bush, G.:
  A multi-agent system for the integration of distributed environmental information. 2003.

• Golenkov, E.A.; Sokolov, A.S.; Tarasov, G.V.; Kharitonov, D.I.:
  Experimental Version of Parallel Programs Translator from Petri Nets to C++. 2001.

• Anisimov, N. A.; Golenkov, E. A.; Kharitonov, D. I.:
  Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems. 2001.

• Giese, Holger; Wirtz, Guido:
  Visual Modeling of Object-Oriented Distributed Systems. 2001.

• Lopez-Benitez, N.:
  Petri net based performance evaluation of distributed heterogeneous task systems. 2000.

• Mikolajczak, B.; Ottlik, A.:
  Specification of distributed systems with actors using object-oriented Petri nets. 2000.

• Wang, D.-C.; Chen, I.-R.; Chu, C.-P.:
  Analyzing reconfigurable algorithms for managing replicated data with strict consistency requirements: a case study. 2000.

• Chen, Ing-Ray; Wang, Ding-Chau; Chu, Chih-Ping:
  Response time behavior of distributed voting algorithms for managing replicated data. 2000.

• Bastide, Rémi; Sy, Ousmane; Palanque, Philippe; Navarre, David:
  A Formal Specification of the CORBA Event Service. 2000.

• Alekseev, A.G.; Bystrov, A.V.; Kurtov, S.A.; Mylnikov, S.P.; Nepomnyashchy, V.A.; Okunishnikova, E.V.; Chubarev, P.A.; Churina, T.G.:
  Application of Petri nets in verification of distributed systems represented in the Estelle language. 1999.

• Amigoni, F.; Somalvico, M.; Zanisi, D.:
  A theoretical framework for the conception of agency. 1999.

• Buchs, D.; Buffo, M.:
  Rapid prototyping of formally modeled distributed systems. 1999.

• Frey, M.; Podolsky, M.:
  Specifying and analyzing distributed object-oriented systems. 1999.

• Kindler, E.; van der Aalst, W.M.P.:
  Liveness, Fairness, and Recurrence. 1999.

• Richter, Gernot:
  Flip-Tick Architecture. A Design Paradigm for Cycle-Oriented Distributed Systems. 1999.

• Bernardo, M.; Donatiello, L.; Gorrieri, R.:
  A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems. 1998.

• Chang, W.-T.; Tseng, C.-C.; Chou, W.-K.:
  Petri net based analysis on object assignment in distributed object-oriented systems. 1998.

• Di Marzo Serugendo, G.; Guelfi, N.:
  Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study. 1998.

• Ferscha, A.:
  Optimistic distributed execution of business process models. 1998.

• Gordon, Steven; Billington, Jonathan:
  Applying Coloured Petri Nets and Design/CPN to an Air-to-Air Missile Simulator. 1998.

• Huhn, M.; Niebert, P.; Wallner, F.:
  Verification based on local states. 1998.

• Jonkers, H.; Janssen, W.; Verschut, A.; Wiestra, E.:
  A unified framework for design and performance analysis of distributed systems. 1998.

• Nuetzel, J.; Daene, B.; Fengler, W.:
  Object nets for the design and verification of distributes and embedded systems. 1998.

• Richter, Gernot:
  Counting Interfaces for Discrete Time Modeling. 1998.

• Deng, Y.; Lu, S.; Evangelist, M.:
  A formal approach for architectural modeling and prototyping of distributed real-time systems. 1997.

• Toussaint, J.; Simonot-Lion, F.; Thomesse, J.-P.:
  Time constraints verification method based on time Petri nets. 1997.

• Christensen, Søren; Mortensen, Kjeld H.:
  Teaching Coloured Petri Nets - a Gentle Introduction to Formal Methods in a Distributed Systems Course. 1997.

• Mazzeo, A.; Mazzocca, N.; Russo, S.; Vittorini, V.:
  A method for predictive performance of distributed programs. 1997.

• Mazzocca, N.; Russo, S.; Vittorini, V.:
  Integrating trace logic and Petri net specifications. 1997.

• Sergent, N.:
  Evaluating Latency of Evaluating Latency of Distributed Algorithms Using Petri Nets. 1997.

• Sergent, N.:
  Probabilistic guarantees on the termination time of a consensus algorithm in asynchronous systems. 1997.

• Tsai, J.J.P.; Yang, S.J.; Chang, Y.-H.; Juan, E.Y.T.:
  Verifying timing properties for distributed real-time systems using timing constraint Petri nets. 1996.

• Wang, L.-H.; Chen, J.-M.:
  Synchronization model for multimedia communication and presentation in distributed systems. 1996.

• Nigro, Libero; Pupo, Francesco:
  Modeling and Analysing DART Systems Through High-Level Petri Nets. 1996.

• Zhou, MengChu:
  Deadlock-avoidance schemes in a distributed robotic system -- Petri net modeling and analysis. 1995.

• Juanole, G.; Atamna, Y.; Carmo, R.L.R.:
  On the stochastic timed Petri nets model and its application to the DQDB protocol. 1994.

• Sugasawa, Y.; Katsumata, M.; Harada, A.:
  Stochastic Petri net model of distributed process system with repair and its behavior analysis. 1994.

• Tchako, J.F.N.; Beldjilali, B.; Trentesaux, D.; Tahon, C.:
  Modeling with colored timed Petri nets and simulation of a dynamic and distributed management system for a manufacturing cell. 1994.

• Ajmone Marsan, M.; Balbo, G.; Chiola, G.; Conte, G.; Donatelli, S.; Franceschinis, G.:
  An Introduction to Generalized Stochastic Petri Nets. 1991.

• Garg, V.K.; Ramamoorthy, C.V.:
  ConC: a Language for Concurrent Programming. 1991.

• Murata, Tadao; Bhatia, R.S.; Shatz, S.M.:
  Markov Chain Reduction and Analysis of GSPN Models for Task Allocation in Distributed Systems. 1991.

• Florin, G.; Fraize, C.; Natkin, S.:
  Searching Best Paths to Worst States. 1991.

• Krämer, Bernd:
  Introducing the GRASPIN Specification Language SEGRAS. 1991.

• Lloret, J.:
  Modeling and Verification of Distributed Systems with Labeled Predicate Transition Nets. 1990.

• Schönthaler, F.:
  CASE-Tools für verteilte Systeme: Petri-Netze in der Praxis. 1990.

• Krämer, B.:
  Concepts, Syntax and Semantics of SEGRAS. A Specification Language for Distributed Systems. 1989.

• Shieh, Y.B.; Ghosal, D.; Chintamaneni, P.R.; Tripathi, S.K.:
  Application of Petri Net Models for the Evaluation of Fault-Tolerant Techniques in Distributed Systems. 1989.

• Carpenter, Geoffrey F.; Tyrrell, Andrew M.:
  Use of GMB in the Design of Robust Software for Distributed Systems. 1989.

Back to the Petri Nets Bibliography