Experience using Coloured Petri Nets to Model Railway Interlocking Tables [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Interlocking tables are the functional specification defining the routes on which the passage of the train is allowed. Associated with the route, the states and actions of all related signalling equipment are also specified.
Somsak Vanit-Anunchai
doaj +4 more sources
A Formal Performance Evaluation Method for Customised Plug-and-Play Manufacturing Systems Using Coloured Petri Nets [PDF]
Sensors, 2022 Recent technological advancements and the evolution of industrial manufacturing paradigms have substantially increased the complexity of product-specific production systems.
Ge Wang +5 more
doaj +2 more sources
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 UML state machines are widely used to specify dynamic systems behaviours. However its semantics is described informally, thus preventing the application of model checking techniques that could guarantee the system safety.
Étienne André +2 more
doaj +4 more sources
Colored Petri Net Modelling and Evaluation of Drone Inspection Methods for Distribution Networks [PDF]
Sensors, 2022 The UAV industry is developing rapidly and drones are increasingly used for monitoring industrial facilities. When designing such systems, operating companies have to find a system configuration of multiple drones that is near-optimal in terms of cost ...
Aleksandra Fedorova +2 more
doaj +2 more sources
Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking [PDF]
BMC Bioinformatics, 2019 Background Quorum sensing drives biofilm formation in bacteria in order to ensure that biofilm formation only occurs when colonies are of a sufficient size and density.
David Gilbert +3 more
doaj +2 more sources
Simulation of single-phase ground short circuit protection device [PDF]
E3S Web of Conferences, 2021 The most common type of short circuit in a three-phase system is a single-phase-to-ground short circuit, accounting for 70 to 90% of electrical faults.
Zhumadirova Aliya +2 more
doaj +1 more source
Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams [PDF]
Lecture Notes in Computer Science, 2020 Martin Schwarick +2 more
exaly +1 more source
Coloured Petri Nets-Based Modeling and Validation of Insulin Infusion Pump Systems
Applied Sciences, 2022 Safety and effectiveness are crucial quality attributes for insulin infusion pump systems. Therefore, regulatory agencies require the quality evaluation and approval of such systems before the market to decrease the risk of harm, motivating the usage of ...
Tássio Fernandes Costa +4 more
doaj +1 more source
From Epidemic to Pandemic Modelling
Frontiers in Systems Biology, 2022 We present a methodology for systematically extending epidemic models to multilevel and multiscale spatio-temporal pandemic ones. Our approach builds on the use of coloured stochastic and continuous Petri nets facilitating the sound component-based ...
Shannon Connolly +3 more
doaj +1 more source
Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications [PDF]
Journal of Universal Computer Science, 2023 A smart city is an urban centre that integrates a variety of solutions to improve infrastructure performance and achieve sustainable urban development. Urban roads are a crucial infrastructure highly demanded by citizens and organisations interested in ...
Layse Santos Souza, Michel S. Soares
doaj +3 more sources