From the Publisher:
Petri nets offer a mathematically defined technique for the specification, design, analysis, verification and performance evaluation of concurrent distributed systems. Communications networks, ranging from traditional telecommunication systems to advanced Internet-based information services, are inherently distributed and comprise systems with concurrently operating components. This volume presents a selection of the latest advances in the use of Petri nets for the modeling, analysis and management of communication networks and systems in the broadest sense of these terms.
Cited By
- Qadir J and Hasan O (2015). Applying Formal Methods to Networking: Theory, Techniques, and Applications, IEEE Communications Surveys & Tutorials, 17:1, (256-291), Online publication date: 1-Jan-2015.
- Cirulis A and Ginters E Training scenario operations realization in virtual reality environment Proceedings of the 13th WSEAS international conference on Automatic control, modelling & simulation, (39-44)
- Gallasch G, Lilith N, Billington J, Zhang L, Bender A and Francis B (2008). Modelling defence logistics networks, International Journal on Software Tools for Technology Transfer (STTT), 10:1, (75-93), Online publication date: 1-Jan-2008.
- Juhás G, Lehocki F and Lorenz R Semantics of petri nets Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come, (617-628)
- Vanit-Anunchai S, Billington J and Kongprakaiwoot T Discovering chatter and incompleteness in the datagram congestion control protocol Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems, (143-158)
- Billington J and Han B Closed form expressions for the state space of TCP's Data Transfer Service operating over unbounded channels Proceedings of the 27th Australasian conference on Computer science - Volume 26, (31-39)
- Tsang T (2003). Modelling and performance evaluation of mobile multimedia systems using QoS-GSPN, Wireless Networks, 9:6, (575-584), Online publication date: 1-Nov-2003.
- Villapol M and Billington J Analysing properties of the resource reservation protocol Proceedings of the 24th international conference on Applications and theory of Petri nets, (377-396)
- Gordon S and Billington J Analysing the WAP class 2 wireless transaction protocol using coloured Petri nets Proceedings of the 21st international conference on Application and theory of petri nets, (207-226)
Recommendations
Non Equivalence between Time Petri Nets and Time Stream Petri Nets
PNPM '99: Proceedings of the The 8th International Workshop on Petri Nets and Performance ModelsIt had been shown that Merlin's Time Petri Nets are a special case of Time Stream Petri Nets. In this paper, we show that it does not exist a time equivalence between both models. We extend first this result to the nonequivalence of Timed Automata and ...
From Petri Nets to colored Petri Nets: a tutorial introduction to nets based formalism for modeling and simulation
WSC '19: Proceedings of the Winter Simulation ConferencePetri Net, a widely studied mathematical formalism, is a graphical notation for modeling systems. Petri Nets provide the foundation for modeling concurrency, communication, synchronization, and resource sharing constraints that are inherent to many ...