Ali Khalili, Amir Jalaly Bidgoly, Mohammad Abdollahi Azgomi. PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description. In Giuliana Franceschinis, Karsten Wolf, editors, Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Volume 5606 of Lecture Notes in Computer Science, pages 343-352, Springer, 2009. [doi]
Abstract is missing.