Search results

Articles (7)

Journals (0)

1-7 of 7 results for high-level coloured Petri net

Sort by:

Relevance

Select all

Sort by:

Relevance

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 2011-5

Deadlock-free assignment of wafer processing in photolithography equipment - by using a CPN model

Xiaoyi He, Zhiming Wu

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2000-8

A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures

Berndt Farwer

Fundamenta Informaticae

Retricted access

Research article

First published 1999-2

A Linear Logic View of Object Petri Nets

Berndt Farwer

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

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

Open access

Research article

First published 2009-2

Stressing Symbolic Scheduling Techniques within Aircraft Maintenance Optimization

Viviana Bruno, Luz Garcia, Sergio Nocco [...]

Journal on Satisfiability,Boolean Modelling and Computation