INA swMATH ID: 30145 Software Authors: Peter. H. Starke Description: Integrated Net Analyzer (INA) A tool package to support the analysis of Petri Nets and Coloured Petri nets. Homepage: https://www2.informatik.hu-berlin.de/lehrstuehle/automaten/ina/ Related Software: SNOOPY; CADP; MARTE; SysML; SoftExplorer; Ginsim; APMC; Metatool; ExSpect Cited in: 18 Publications all top 5 Cited by 36 Authors 3 Li, Zhiwu 2 Chao, Daniel Yuh 2 Wang, Shouguang 2 Zhao, Mi 2 Zhou, MengChu 1 Al-Ahmari, Abdulrahman M. 1 Andrade, Ermeson 1 Bohez, Erik L. J. 1 Bortfeldt, R. 1 Bourdeaud’huy, Thomas 1 Callou, Gustavo 1 Chaouiya, Claudine 1 Chunrun, Zhao 1 Gilbert, David 1 Hameurlain, Nabil 1 Hanafi, Saïd 1 Heiner, Monika 1 Hu, Hesuan 1 Kielbassa, J. 1 Lehrack, Sebastian 1 Maciel, Paulo 1 Marwan, Wolfgang 1 Naldi, Aurélien 1 Nogueira, Bruno Magalhães 1 Popova-Zeugmann, Louchka 1 Qin, Meng 1 Remy, Elisabeth 1 Schuster, Stefan 1 Shaoyong, Li 1 Thieffry, Denis 1 Uzam, Murat 1 van der Aalst, Wil M. P. 1 Wu, WenHui 1 Yim, Pascal 1 You, Dan 1 Yu, Tsung Hsien all top 5 Cited in 12 Serials 3 Asian Journal of Control 2 International Journal of Production Research 2 Natural Computing 2 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 International Journal of Control 1 International Journal of Systems Science 1 Information Processing Letters 1 Information Sciences 1 OR Spektrum 1 European Journal of Operational Research 1 International Journal of Computer Mathematics 1 Computational Biology and Chemistry Cited in 5 Fields 11 Operations research, mathematical programming (90-XX) 10 Computer science (68-XX) 6 Systems theory; control (93-XX) 4 Biology and other natural sciences (92-XX) 2 Combinatorics (05-XX) Citations by Year