Kurt Jensen

Kurt Jensen

Professor of Computer Science, Aarhus University
Dirección de correo verificada de cs.au.dk
Citado por 15531
Coloured Petri Nets Concurrency Petri Nets Model Checking State Spaces
Suriadi Suriadi

Suriadi Suriadi

Queensland University of Technology
Dirección de correo verificada de qut.edu.au
Citado por 949
Process mining data quality information security coloured petri nets
Miguel Mujica Mota

Miguel Mujica Mota

Amsterdam University of Applied Sciences
Dirección de correo verificada de hva.nl
Citado por 245
simulation optimization aviation petri nets coloured petri nets
Dariusz Rzonca

Dariusz Rzonca

Rzeszow University of Technology
Dirección de correo verificada de kia.prz.edu.pl
Citado por 220
Embedded Systems Industrial Control Systems Cryptography Coloured Petri Nets
Andrey Dolgikh

Andrey Dolgikh

Research Assistant, Binghamton University
Dirección de correo verificada de acm.org
Citado por 203
Computer Security Graph Compression Coloured Petri Nets
Miklós Gerzson

Miklós Gerzson

University of Pannonia, Pannon Egyetem
Dirección de correo verificada de almos.uni-pannon.hu
Citado por 195
Coloured Petri Nets Control Diagnosis
Panupong Sornkhom

Panupong Sornkhom

Faculty of Engineering, Naresuan University
Dirección de correo verificada de nu.ac.th
Citado por 42
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 …
Dirección de correo verificada de ciens.ucv.ve
Citado por 13
Computer Network Wireless Network Operating Systems Wimax Network Coloured Petri Nets