Keyword: formal methods

• Kindler, Ekkart; Rubin, Vladimir; Wagner, Robert:
  Component Tools: Integrating Petri Nets with Other Formal Methods. 2006.

• Vanit-Anunchai, S.; Billington, J.:
  Effect of Sequence Number Wrap on DCCP Connection Establishment. 2006.

• Liu, L.; Billington, J.:
  Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step. 2005.

• Vanit-Anunchai, S.; Billington, J.:
  Initial Result of a Formal Analysis of DCCP Connection Management. 2004.

• Ouyang, C.; Billington, J.:
  An Improved Formal Specification of the Internet Open Trading Protocol. 2004.

• van der Aalst, Wil M.P.; ter Hofstede, Arthur H.M.; Weske, Mathias:
  Business Process Management: A Survey. 2003.

• Bastide, Rémi; Sy, Ousmane; Palanque, Philippe:
  A formal notation and tool for the engineering of CORBA systems. 2000.

• Chu, William; Lu, Chih-Wei; Yang, Hongji; He, Xudong:
  A formal approach for component retrieval and integration analysis. 2000.

• He, Xudong; Deng, Yi:
  Specifying Software Architectural Connectors in SAM. 2000.

• Bruneton, E.; Pradat-Peyre, J.-F.:
  Automatic verification of concurrent Ada program. 1999.

• Jaragh, M.; Saleh, K.:
  Synthesis of communications protocol converters using the timed Petri net model. 1999.

• Wang, J.; He, X.; Deng, Y.:
  Introducing software architecture specification and analysis in SAM through an example. 1999.

• Bodennec, C.; Jourdain, C.; Mazuet, C.; Garnier, R.; Perez, D.:
  Dependability of safety critical systems: complementarity of probabilistic and formal methods. 1998.

• Deng, Y.; Wang, J.:
  Integrated architectural modeling and analysis for high-assurance command and control system design. 1998.

• Maciel, P.; Barros, E.; Rosenstiel, W.:
  A based on Petri net approach for quantifying mutual exclusion degree. 1998.

• Yang, S.J.H.; Chu, W.; Lin, S.; Lee, J.:
  Specifying and verifying temporal behavior of high assurance systems using reachability tree logic. 1998.

• Mazzeo, A.; Mazzocca, N.; Russo, S.; Vittorini, V.:
  A systematic approach to the Petri Net based specification of concurrent systems. 1997.

• Chu, W.C.; Yang, H.; Luker, P.:
  A formal method for software maintenance. 1996.

• Heiner, Monika; Deussen, P.:
  A Case Study in Design and Validation of Reactive Systems by Means of Petri Nets. 1996.

• Makungu, M.; St.Denis, R.; Barbeau, M.:
  A colored Petri net based formal method for the design of control systems. 1996.

• Bucci, G.; Campanai, M.; Nesi, P.:
  Tools for specifying real-time systems. 1995.

• Heiner, Monika; Deussen, P.:
  Petri Net Based Qualitative Analysis - A Case Study. 1995.

• Wikarski, Dietmar; Heiner, Monika:
  On the Application of Markovian Object Nets to Integrated Qualitative and Quantitative Software Analysis. 1995.

• He, Xudong:
  PZ Nets - A Formal Method integrating Petri Nets with Z. 1995.

• Heiner, M.; Ventre, G.; Wikarski, D.:
  A Petri Net Based Methodology to Integrate Qualitative and Quantitative Analysis. 1994.

• Heiner, Monika; Wikarski, D.:
  An Approach to Petri Net Based Integration of Qualitative and Quantitative Analysis of Parallel Systems. 1994.

• Furuta, Richard; Stotts, P. David:
  Interpreted collaboration protocols and their use in groupware prototyping. 1994.

Back to the Petri Nets Bibliography