Development, validation and application of stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes

Transportation Research Part C Emerging Technologies ◽

10.1016/j.trc.2012.04.018 ◽

2013 ◽

Vol 33 ◽

pp. 167-195 ◽

Cited By ~ 16

Author(s):

Fedja Netjasov ◽

Andrija Vidosavljevic ◽

Vojin Tosic ◽

Mariken H.C. Everdij ◽

Henk A.P. Blom

Keyword(s):

Petri Net ◽

Safety Assessment ◽

Coloured Petri Net

Download Full-text

Safety Requirement Verification of Train-centric CBTC by Integrating STPA with Coloured Petri Net

International Journal of Industrial and Systems Engineering ◽

10.1504/ijise.2021.10040903 ◽

2021 ◽

Vol 1 (1) ◽

pp. 1

Author(s):

Junting Lin ◽

Qian Xu

Keyword(s):

Petri Net ◽

Safety Requirement ◽

Coloured Petri Net

Download Full-text

Controlling traffic jams on urban roads modeled in Coloured Petri net using Genetic Algorithm

IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society ◽

10.1109/iecon.2012.6389412 ◽

2012 ◽

Cited By ~ 6

Author(s):

Henrique Dezani ◽

Luis Gomes ◽

Furio Damiani ◽

Norian Marranghello

Keyword(s):

Genetic Algorithm ◽

Petri Net ◽

Traffic Jams ◽

Coloured Petri Net

Download Full-text

Heterogeneous Hierarchical Coloured Petri Net Software/Hardware Architectural View of Embedded System based on System Behaviours

Procedia Technology ◽

10.1016/j.protcy.2013.12.277 ◽

2013 ◽

Vol 11 ◽

pp. 925-932 ◽

Cited By ~ 1

Author(s):

Mahdi Sahlabadi ◽

Ravie Chandren Muniyandi ◽

Zarina Shukor ◽

Amirhossein Sahlabadi

Keyword(s):

Embedded System ◽

Petri Net ◽

Coloured Petri Net

Download Full-text

A Coloured Petri Net Based Strategy for Multi-Agent Scheduling

Rational, Robust, and Secure Negotiation Mechanisms in Multi-Agent Systems (RRS'05) ◽

10.1109/rrs.2005.1 ◽

2006 ◽

Author(s):

Quan Bai ◽

Minjie Zhang ◽

Haijun Zhang

Keyword(s):

Petri Net ◽

Agent Scheduling ◽

Coloured Petri Net ◽

Multi Agent

Download Full-text

Web-based interfaces for simulation of coloured Petri net models

International Journal on Software Tools for Technology Transfer ◽

10.1007/s100090100060 ◽

2001 ◽

Vol 3 (4) ◽

pp. 405-416 ◽

Cited By ~ 4

Author(s):

Bo Lindstrom

Keyword(s):

Petri Net ◽

Web Based ◽

Coloured Petri Net

Download Full-text

Coloured Petri Net Diagnosers for Lumped Process Systems

Knowledge-Based and Intelligent Information and Engineering Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15390-7_40 ◽

2010 ◽

pp. 389-398 ◽

Cited By ~ 1

Author(s):

Attila Tóth ◽

Erzsébet Németh ◽

Katalin M. Hangos

Keyword(s):

Petri Net ◽

Process Systems ◽

Coloured Petri Net

Download Full-text

On the Modelling and Simulation of Flexible Assembly Systems Using Coloured Petri-Net

Proceedings of the Thirtieth International MATADOR Conference ◽

10.1007/978-1-349-13255-3_57 ◽

1993 ◽

pp. 443-450 ◽

Cited By ~ 1

Author(s):

P. P. Cicciola ◽

R. Groppetti ◽

M. La Cava

Keyword(s):

Petri Net ◽

Modelling And Simulation ◽

Assembly Systems ◽

Flexible Assembly Systems ◽

Flexible Assembly ◽

Coloured Petri Net

Download Full-text

Research on Modeling of Multiparty Trust Negotiation Based on Coloured Petri-net in P2P Network

2010 Second International Conference on Networks Security, Wireless Communications and Trusted Computing ◽

10.1109/nswctc.2010.109 ◽

2010 ◽

Author(s):

Li Yonghao ◽

Liu Yun

Keyword(s):

Petri Net ◽

P2p Network ◽

Trust Negotiation ◽

Coloured Petri Net

Download Full-text

Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models

Applications and Theory of Petri Nets - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21834-7_19 ◽

2011 ◽

pp. 328-337 ◽

Cited By ~ 7

Author(s):

Michael Westergaard

Keyword(s):

Petri Net ◽

Coloured Petri Net ◽

High Level

Download Full-text

An Interpreted Coloured Petri Net Model For Verifying Protocol Specifications

International Journal of Modelling and Simulation ◽

10.1080/02286203.1996.11760279 ◽

1996 ◽

Vol 16 (2) ◽

pp. 49-58

Author(s):

B. Zouari ◽

M. Taghelit

Keyword(s):

Petri Net ◽

Coloured Petri Net

Download Full-text