Applications and Theory of Petri Nets 2003

This talk presents my personal view of the current status of highlevel Petri Nets, in particular Coloured Petri Nets. What have we achieved over the last 25 years and what are the main challenges that need to be addressed in order to make high-level Petri nets more useful, e.g., to the software industry? What kind of language extensions and tool support do we need to make Petri net modelling, simulation and analysis accessible to the knowledgeable engineer? I will also briefly discuss the main areas which I believe are the most obvious candidates for further theoretical development.

[1]  Sally Floyd,et al.  The NewReno Modification to TCP's Fast Recovery Algorithm , 2004, RFC.

[2]  S. Griffis.  EDITOR , 1997, Journal of Navigation.

[3]  Rick Wilder,et al.  Wide-Area Internet Traffic Patterns and Characteristics ( Extended Version ) , 1997 .

[4]  Vern Paxson,et al.  TCP Congestion Control , 1999, RFC.

[5]  Jorge C. A. de Figueiredo,et al.  Using Coloured Petri Nets to Investigate Behavioural and Performance Issues of TCP Protocols , 1999 .

[6]  Reinhard German,et al.  Performance analysis of communication systems - modelling with non-Markovian stochastic Petri nets , 2000, Wiley-Interscience series in systems and optimization.

[7]  Boudewijn R. Haverkort,et al.  Analysis of windowing mechanisms with infinite-state stochastic Petri nets , 1998, PERV.

[8]  Donald F. Towsley,et al.  Modeling TCP Reno performance: a simple model and its empirical validation , 2000, TNET.

[9]  Yi Zhou,et al.  Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[10]  Wil vanderAalst,et al.  Workflow Management: Models, Methods, and Systems , 2004 .

[11]  Christoph Lindemann,et al.  Performance Modelling with Deterministic and Stochastic Petri Nets , 1998, PERV.

[12]  Marco Ajmone Marsan,et al.  Performance analysis of TCP connections sharing a congested Internet link , 2000, Perform. Evaluation.

[13]  Jonathan Billington,et al.  A Formal Service Specification for the Internet Open Trading Protocol , 2002, ICATPN.

[14]  Mahadev Satyanarayanan.  Challenges in Implementing a Context-Aware System , 2002 .

[15]  Claudio Casetti,et al.  A new approach to model the stationary behavior of TCP connections , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[16]  Axel van Lamsweerde,et al.  Requirements engineering in the year 00: a research perspective , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[17]  Stefan Savage,et al.  Modeling TCP latency , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[18]  Marco Ajmone Marsan,et al.  A detailed and accurate closed queueing network model of many interacting TCP flows , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[19]  Kevin Barraclough,et al.  I and i , 2001, BMJ : British Medical Journal.

[20]  James H. Aylor,et al.  Computer for the 21st Century , 1999, Computer.

[21]  Mario Gerla,et al.  Modeling Window Based Congestion Control Protocols with Many Flows , 1999, Perform. Evaluation.

[22]  John Anil Saldhana.  UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis , 2000 .

[23]  Vern Paxson,et al.  End-to-end Internet packet dynamics , 1997, SIGCOMM '97.

[24]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[25]  Alec Wolman,et al.  Organization-Based Analysis of Web-Object Sharing and Caching , 1999, USENIX Symposium on Internet Technologies and Systems.

[26]  V. Jacobson,et al.  Congestion avoidance and control , 1988, CCRV.

[27]  Yin Zhang,et al.  The Stationarity of Internet Path Properties: Routing, Loss, and Throughput , 2000 .

[28]  QUTdN QeO,et al.  Random early detection gateways for congestion avoidance , 1993, TNET.

[29]  Jon Postel,et al.  Transmission Control Protocol , 1981, RFC.

[30]  Marco Ajmone Marsan,et al.  Computation of the Completion Time Distributionof Short-Lived TCP Connections , 2003 .