Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by R. Ganiyu

Modelling and Simulation of a Multi-Phase Traffic Light Controlled T-Type Junction Using Timed Coloured Petri Nets

American Journal of Scientific and Industrial Research
2011English

Modelling and Validation of a Multi-Phase Traffic Light Controlled Cross-Type Intersection Using Timed Coloured Petri Nets

American Journal of Scientific and Industrial Research
2011English

Related publications

Formalisation and Simulation of Operating Rules Using Coloured Petri Nets

WIT Transactions on the Built Environment
BuildingReliabilityArtsTransportationRiskHumanitiesAutomotive EngineeringStructural EngineeringCivilConstructionSafetyArchitectureComputer Science ApplicationsSafety ResearchQuality
2006English

Modelling and Simulation of AGVs Using Petri Nets

Robotics & Automation Engineering Journal
2018English

Modelling Chronicle Recognition for Distributed Simulation Processing With Coloured Petri Nets

2009English

From Code to Coloured Petri Nets: Modelling Guidelines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Timed Petri Nets and BQOs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Parametrisation of Coloured Petri Nets

DAIMI Report Series
1997English

Modelling IoT-enabled Logistics Process Adaptations With Coloured Petri Nets

2018English

Coloured Petri Nets and the Invariant-Method

DAIMI Report Series
1983English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy