Kurt Jensen

Kurt Jensen

Professor of Computer Science, Aarhus University
在 cs.au.dk 的电子邮件经过验证
被引用次数：18016
Coloured Petri Nets Concurrency Petri Nets Model Checking State Spaces
Suriadi Suriadi

Suriadi Suriadi

Queensland University of Technology
在 qut.edu.au 的电子邮件经过验证
被引用次数：2967
Process mining data quality information security coloured petri nets
Andrey Dolgikh

Andrey Dolgikh

Binghamton University
在 acm.org 的电子邮件经过验证
被引用次数：405
Computer Security Graph Compression Coloured Petri Nets
Álvaro Alvares de Carvalho César Sobrinho

Álvaro Alvares de Carvalho César Sobrinho

Federal University of the Agreste of Pernambuco
在 ufape.edu.br 的电子邮件经过验证
被引用次数：333
Software Engineering Formal Modeling Medical Systems Coloured Petri Nets
Dariusz Rzonca

Dariusz Rzonca

Rzeszow University of Technology
在 kia.prz.edu.pl 的电子邮件经过验证
被引用次数：327
Embedded Systems Industrial Control Systems Cryptography Coloured Petri Nets
Miklós Gerzson

Miklós Gerzson

University of Pannonia, Pannon Egyetem
在 almos.uni-pannon.hu 的电子邮件经过验证
被引用次数：263
Coloured Petri Nets Control Diagnosis
George Assaf

George Assaf

Brandenburg University of Technology
在 b-tu.de 的电子邮件经过验证
被引用次数：60
Petri nets coloured Petri nets concurrent systems systems modelling & simulation systems biology
Panupong Sornkhom

Panupong Sornkhom

Faculty of Engineering, Naresuan University
在 nu.ac.th 的电子邮件经过验证
被引用次数：41
Computer and Information Security Applied Cyrptography Formal Verification Formal Method Coloured Petri Nets
Ana Morales Bezeira

Ana Morales Bezeira

Professor of Computer Science, Escuela de Computación, Facultad de Ciencias …
在 ciens.ucv.ve 的电子邮件经过验证
被引用次数：40
Computer Network Wireless Network Operating Systems Wimax Network Coloured Petri Nets
Omar Tariq

Omar Tariq

Dr.Software Engineering
在 cqu.edu.cn 的电子邮件经过验证
被引用次数：34
Modeling and Simulation Unified Modeling Language … Software Testing Object Oriented Analysis & … coloured petri nets Modeling Validation and Verification
1 - 10