1. Akshay, S., Chakraborty, S., Das, A., Jagannath, V., Sandeep, S.: On Petri nets with hierarchical special arcs. In: CONCUR, pp. 40:1–40:17 (2017)
2. Behrmann, G., David, A., Larsen, K.G.: A tutorial on UPPAAL. In: International School on Formal Methods for the Design of Computer, Communication and Software Systems, pp. 200–236 (2004)
3. Bonet, B., Haslum, P., Hickmott, S., Thiébaux, S.: Directed unfolding of Petri nets. ToPNOC 1(1), 172–198 (2008)
4. Chatain, T., Paulevé, L.: Goal-driven unfolding of Petri nets. In: CONCUR, pp. 18:1–18:16 (2017)
5. Couvreur, J.-M., Thierry-Mieg, Y.: Hierarchical decision diagrams to exploit model structure. In: Wang, F., (ed.) FORTE, pp. 443–457 (2005)