1. Bause F, Kritzinger PS (1998) Stochastic Petri nets: an introduction to the theory. ACM SIGMETRICS Perform Eval Rev 26(2):2–3
2. Cameron A, Stumptner M, Nandagopal N, Mayer W, Mansell T (2015) Rule-based peer-to-peer framework for decentralised real-time service oriented architectures. Sci Comput Program 97:202–234
3. Chretienne P (1984) Controlled execution of timed Petri nets. Technol Sci Inform 3(1):19–26
4. Commoner F, Holt AW, Even S, Pnueli A (1971) Marked directed graphs. J Comput Syst Sci 5(5):511–523
5. David R, Alla H (2005) Discrete, continuous, and hybrid Petri nets, vol 1. Springer