Publisher
Springer International Publishing
Reference14 articles.
1. Behrmann, G., David, A., & Larsen, K. G. (2006). A tutorial on Uppaal 4.0. Aalborg, Denmark. URL:
http://www.it.uu.se/research/group/darts/papers/texts/new-tutorial.pdf
.
2. Charlie. (n.d.). Charlie Petri net analyzer. URL:
http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Charlie
.
3. Chu, F., & Xie, X.-L. (1997). Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation, 13(6), 793–804.
https://doi.org/10.1109/70.650158
.
4. Daszczuk, W. B., & Zuberek, W. M. (2018). Deadlock detection in distributed systems using the IMDS formalism and petri nets. In W. Zamojski, J. Mazurkiewicz, J. Sugier, T. Walkowiak, & J. Kacprzyk (Eds.), 12th International Conference on Dependability and Complex Systems, DepCoS-RELCOMEX 2017, Brunów, Poland. AISC (Vol. 582, pp. 118–130), July 2–6, 2017. Cham, Switzerland: Springer.
https://doi.org/10.1007/978-3-319-59415-6_12
.
5. Heiner, M., Schwarick, M., & Wegener, J.-T. (2015). Charlie—An extensible Petri net analysis tool. In 36th International Conference, PETRI NETS 2015, Brussels, Belgium (pp. 200–211), June 21–26, 2015. Cham, Switzerland: Springer.
https://doi.org/10.1007/978-3-319-19488-2_10
.