Sage Journals: Discover world-class research

Retricted access

Research article

First published 2014-3

On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method

Yongyuth Permpoontanalarp, Panupong Sornkhom

Fundamenta Informaticae

Retricted access

Research article

First published 2000-08

Modelling a progressive care system using a coloured-timed Petri net

M. Hughes, E. R. Carson, M. Makhlouf [...]

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2008-10

Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol

Jonathan Billington, Somsak Vanit-Anunchai

Fundamenta Informaticae

Free access

Research article

First published 2007-5

Integration of the Cimosa and high-level coloured Petri net modelling techniques with application in the postal process using hierarchical dispatching rules

K S Wong, R M Parkin, J Coy

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Retricted access

Research article

First published 2008-12

Coloured Petri nets and a dynamic reliability problem

P Škňouřilová, R Briš

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 1999-5

Modelling flexible manufacturing systems using weighted Fuzzy Coloured Petri Nets

Daniel S. Yeung, Simon C.K. Shiu, Eric C.C. Tsang

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Open access

Research article

First published 2024-2

Ant colony optimisation of a community pharmacy dispensing process using Coloured Petri-Net simulation and UK pharmacy in-field data

Matthew Naybour, Rasa Remenyte-Prescott, Matthew Boyd

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2014-4

Modelling Search Engines Performance Using Coloured Petri Nets

Veronica Gil-Costa, Mauricio Marin, Alonso Inostrosa-Psijas [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2011-2

Modelling and analysis of air traffic control systems using hierarchical timed coloured Petri nets

Yi-Sheng Huang, Ta-Hsiang Chung

Transactions of the Institute of Measurement and Control

Open access

Research article

First published 2014-6

Using Coloured Petri Nets for Evaluating the Power Consumption of Wireless Sensor Networks

Antônio Dâmaso, Nelson Rosa, Paulo Maciel

International Journal of Distributed Sensor Networks

Search results