Keyword: coloured petri nets

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

• Jörgensen, Jens Bæk; Christensen, Sören; Tuovinen, Antti-Pekka; Xu, Jianli:
  Tool Support for Estimating the Memory Usage of Mobile Phone Software. 2006.

• Gallasch, Guy; Billington, Jonathan:
  A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols. 2006.

• Camargo-Santacruz, Francisco; Frausto-Solís, Juan; Ramos-Quintana, Fernando:
  Modeling Multiple Interactions Using Coloured Petri Nets: A Case Study. 2005.

• Dresp, Wiebke:
  Security Analysis of the Secure Authentication Protocol by Means of Coloured Petri Nets. 2005.

• Camargo-Santacruz, Francisco; Frausto-Solis, Juan; Ramos-Quintana, Fernando:
  Modeling Multiple Interactions Using Coloured Petri Nets: A Case Study. 2005.

• Gallasch, Guy; Han, Bing; Billington, Jonathan:
  Sweep-Line Analysis of TCP Connection Management. 2005.

• Gallasch, Guy Edward; Billington, Jonathan:
  Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. 2005.

• Kristensen, Lars; Westergaard, Michael; Norgaard, Peder:
  Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks. 2005.

• Vanit-Anunchai, Somsak; Billington, Jonathan; Kongprakaiwoot, Tul:
  Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. 2005.

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

• Villapol, M.E.; Billington, J.:
  A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol. 2004.

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

• Dotoli, Mariagrazia; Fanti, Maria Pia:
  Coloured Timed Petri Net Model for Real Time Control of AGV Systems. 2004.

• Thanh, Cécile Bui; Klaudel, Hanna:
  Object-Oriented Modelling with High-Level Modular Petri Nets. 2004.

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

• Billington, Jonathan; Gallasch, Guy Edward:
  How Stop and Wait Protocols Can Fail over the Internet. 2003.

• Billington, J.; Han, B.:
  Formalising the TCP Symmetrical Connection Management Service. 2003.

• Billington, J.; Han, B.:
  On Defining the Service Provided by TCP. 2003.

• Christensen, S.; Kristensen, L.M.:
  State Space Analysis of Hierarchical Coloured Petri Nets. 2003.

• Jørgensen, J. B.; Kristensen, L. M.:
  Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes. 2003.

• Chen, F.F.; Chen, J.:
  Performance Modelling and Evaluation of Dynamic Tool Allocation in Flexible Manufacturing Systems using Coloured Petri Nets: An Object-Oriented Approach. 2003.

• Suraj, Zbigniew; Pancerz, Krzysztof:
  A Synthesis of Concurrent Systems: A Rough Set Approach. 2003.

• Helmer, Guy; Wong, Johnny; Slagell, Mark; Honavar, Vasant; Miller, Les; Lutz, Robyn:
  A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System. 2002.

• Neubert, Ralf; Suessmann, Boris; Colombo, Armando:
  A coloured Petri net-based approach towards a formal specification of agent-controlled production systems. 2002.

• Pancerz, K.; Suraj, Z.:
  The Synthesis of Concurrent Systems Specified by Information Systems with Using the Coloured Petri Nets. 2002.

• Salimifard, Khodakaram; Wright, Mike B.:
  Compositional Modelling of Workflow Processes. 2002.

• Han, B.; Billington, J.,:
  Validation TCP Connection Management. 2002.

• Kristensen, L. M.; Mitchell, B.; Zhang, L.; Billington, J.:
  Modelling and Initial Analysis of Operational Planning Processes using Coloured Petri Nets. 2002.

• Liu, Lin; Billington, Jonathan:
  Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification. 2002.

• Petrucci, L.; Kristensen, L. M.; Billington, J.; Qureshi, Z. H.:
  Towards Formal Specification and Analysis of Avionics Mission Systems. 2002.

• Singh, A.; Billington, J.:
  Creating an Internet Inter-ORB Protocol Service Specification. 2002.

• Zhang, L.; Kristensen, L. M.; Janczura, C.; Gallasch, G.; Billington, J.:
  A Coloured Petri Net based Tool for Course of Action Development and Analysis. 2002.

• Salimifard, K.; Wright, M.:
  Modelling and Performance Analysis of Workflow Management Systems Using Timed Hierarchical Coloured Petri Nets. 2002.

• Singh, A.; Billington, J.:
  A Formal Service Specification for IIOP based on ISO/IEC 14752. 2002.

• Han, Bing; Billington, Jonathan:
  An Analysis of TCP Connection Management Using Coloured Petri Nets. 2001.

• Salimifard, K.; Wright, M.:
  MORaD-net: A Visual Language for Modelling Business Processes. 2001.

• Salimifard, Khodakaram; Wright, Mike:
  MORaD-net: A Visual Modelling Language for Business Processes. 2001.

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

• Gordon, S.; Billington, J.:
  Modelling the WAP Transaction Service using Coloured Petri Nets. 1999.

• Kummer, Olaf; Moldt, Daniel; Wienberg, Frank:
  Symmetric Communication between Coloured Petri Net Simulations and Java-Processes. 1999.

• Tokmakoff, A.; Billington, J.:
  An Approach to the Analysis of Interworking Traders. 1999.

• Feldmann, Klaus; Colombo, Armando Walter:
  Material Flow and Control Sequence Specification of Flexible Production Systems using Coloured Petri Nets. 1998.

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

• Jensen, K.:
  An Introduction to the Practical Use of Coloured Petri Nets. 1998.

• Kummer, Olaf; Moldt, Daniel; Wienberg, Frank:
  A Framework for Interacting Design/CPN- and Java-Processes. 1998.

• Christensen, Søren; Kristensen, Lars Michael:
  State Space Analysis of Hierarchical Coloured Petri Nets. 1997.

• Jørgensen, Jens Bæk; Kristensen, Lars Michael:
  Verification of Coloured Petri Nets Using State Spaces with Equivalence Classes. 1997.

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

• Moldt, Daniel; Wienberg, Frank:
  Multi-Agent-Systems Based on Coloured Petri Nets. 1997.

• Bause, Falko; Kritzinger, Pieter:
  Stochastic Petri Nets - An Introduction to the Theory. 1996.

• Jensen, Kurt:
  Condensed State Spaces for Symmetrical Coloured Petri Nets. 1996.

• Floreani, D.; Billington, J.; Dadej, A.:
  Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN. 1996.

• Farrington, M.; Billington, J.:
  A CP-net Approach to Control Logic Engineering. 1996.

• Heiner, Monika:
  Petri Net Based Software Dependability Engineering. 1995.

• Nützel, Jürgen; Fengler, Wolfgang:
  Using Formal Technics for Fieldbus Protocol Implementation. 1995.

• Jensen, Kurt:
  An introduction to the theoretical aspects of coloured Petri nets. 1993.

Back to the Petri Nets Bibliography