User interface evaluation based on coloured Petri nets modelling and analysis

SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218) ◽

10.1109/icsmc.1998.727849 ◽

2002 ◽

Cited By ~ 1

Author(s):

M.R.F. de Sousa ◽

M.deF.Q.V. Turnell

Keyword(s):

User Interface ◽

Petri Nets ◽

Coloured Petri Nets ◽

User Interface Evaluation

Download Full-text

Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis

Interactive Systems: Design, Specification, and Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-45522-1_5 ◽

2001 ◽

pp. 69-87 ◽

Cited By ~ 3

Author(s):

Maria de F.Q.V. Turnell ◽

Alexandre Scaico ◽

Marckson R. F. de Sousa ◽

Angelo Perkusich

Keyword(s):

User Interface ◽

Petri Nets ◽

Coloured Petri Nets ◽

User Interface Evaluation

Download Full-text

Modeling behavior and performance of air traffic controllers using coloured petri nets

PsycEXTRA Dataset ◽

10.1037/e557102013-034 ◽

2012 ◽

Cited By ~ 1

Author(s):

Hardy Smieszek

Keyword(s):

Petri Nets ◽

Air Traffic ◽

Coloured Petri Nets ◽

Air Traffic Controllers ◽

And Performance ◽

Modeling Behavior

Download Full-text

Simulating Wood-framing Wall Panels Production with Timed Coloured Petri Nets

10.22260/isarc2019/0137 ◽

2019 ◽

Author(s):

Fabiano Correa

Keyword(s):

Petri Nets ◽

Coloured Petri Nets ◽

Wall Panel

Download Full-text

Application of latent nestling method using Coloured Petri Nets for the Fault Diagnosis in the wind turbine subsets

2008 IEEE International Conference on Emerging Technologies and Factory Automation ◽

10.1109/etfa.2008.4638486 ◽

2008 ◽

Cited By ~ 7

Author(s):

L. Rodriguez ◽

E. Garcia ◽

F. Morant ◽

A. Correcher ◽

E. Quiles

Keyword(s):

Fault Diagnosis ◽

Wind Turbine ◽

Petri Nets ◽

Coloured Petri Nets

Download Full-text

Using coloured Petri nets to evaluate the impact of the QoS of failure detectors in the performance of a consensus protocol

IEEE International Conference on Systems, Man and Cybernetics ◽

10.1109/icsmc.2002.1176039 ◽

2003 ◽

Author(s):

J.C.A. de Figueiredo ◽

L.M.R. Sampaio ◽

F.V. Brasileiro

Keyword(s):

Petri Nets ◽

Coloured Petri Nets ◽

Failure Detectors ◽

Consensus Protocol ◽

The Impact

Download Full-text

Modeling Emergency Response Plans with Coloured Petri Nets

Critical Information Infrastructures Security - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41485-5_10 ◽

2013 ◽

pp. 106-117

Author(s):

Manuel Cheminod ◽

Ivan Cibrario Bertolotti ◽

Luca Durante ◽

Adriano Valenzano

Keyword(s):

Petri Nets ◽

Emergency Response ◽

Coloured Petri Nets ◽

Modeling Emergency

Download Full-text

Integrated Integration Definition Language 0 (IDEF) and coloured Petri nets (CPN) modelling and simulation tool: a study on mould-making processes

International Journal of Production Research ◽

10.1080/00207540500456161 ◽

2006 ◽

Vol 44 (16) ◽

pp. 3179-3205 ◽

Cited By ~ 11

Author(s):

K.-S. Chin ◽

X. Zu ◽

C. K. Mok ◽

H. Y. Tam

Keyword(s):

Petri Nets ◽

Modelling And Simulation ◽

Coloured Petri Nets ◽

Simulation Tool

Download Full-text

Refinement of coloured petri nets

Fundamentals of Computation Theory - Lecture Notes in Computer Science ◽

10.1007/bfb0036175 ◽

1997 ◽

pp. 105-116 ◽

Cited By ~ 2

Author(s):

Eike Best ◽

Thomas Thielke

Keyword(s):

Petri Nets ◽

Coloured Petri Nets

Download Full-text

Functional Languages in Design of Coloured Petri Nets Models

Central European Functional Programming School - Lecture Notes in Computer Science ◽

10.1007/978-3-030-28346-9_6 ◽

2019 ◽

pp. 161-206

Author(s):

Štefan Korečko

Keyword(s):

Petri Nets ◽

Coloured Petri Nets ◽

Functional Languages

Download Full-text

A Web3D forest geo-visualization and user interface evaluation

Proceedings of the 22nd International Conference on 3D Web Technology - Web3D '17 ◽

10.1145/3055624.3075956 ◽

2017 ◽

Cited By ~ 1

Author(s):

Haitao Wang ◽

Xiaoyu Chen ◽

Nicholas Polys ◽

Peter Sforza

Keyword(s):

User Interface ◽

User Interface Evaluation

Download Full-text

User interface evaluation based on coloured Petri nets modelling and analysis

Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis

Modeling behavior and performance of air traffic controllers using coloured petri nets

Simulating Wood-framing Wall Panels Production with Timed Coloured Petri Nets

Application of latent nestling method using Coloured Petri Nets for the Fault Diagnosis in the wind turbine subsets

Using coloured Petri nets to evaluate the impact of the QoS of failure detectors in the performance of a consensus protocol

Modeling Emergency Response Plans with Coloured Petri Nets

Integrated Integration Definition Language 0 (IDEF) and coloured Petri nets (CPN) modelling and simulation tool: a study on mould-making processes

Refinement of coloured petri nets

Functional Languages in Design of Coloured Petri Nets Models

A Web3D forest geo-visualization and user interface evaluation

Simulating Wood-framing Wall Panels Production with Timed Coloured Petri Nets