In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9698) Springer International Publishing, Cham (Svájc), pp. 123-132.
PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research
In: Proceedings of the 13th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2016. Vol. 2 SciTePress, Setúbal, pp. 102-109.
Analysis of input delay systems using integral quadratic constraint