Results 1 to 10 of about 325 (163)
Coloured Petri Nets-Based Modeling and Validation of Insulin Infusion Pump Systems
Applied Sciences (Switzerland), 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 ...
Alvaro Sobrinho +2 more
exaly +3 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
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
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
Journal of Marine Science and Engineering, 2023 The purpose of this study is to show how coloured Petri nets can be used to select the crossing rules guaranteeing that two ships avoid collisions at sea in accordance with the international regulations on this matter.
Vladimir Brozovic +3 more
doaj +1 more source
Reversing Place Transition Nets [PDF]
Logical Methods in Computer Science, 2020 Petri nets are a well-known model of concurrency and provide an ideal setting for the study of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a satisfactory causally reversible semantics.
Hernán Melgratti +2 more
doaj +1 more source
An Operational Semantics of Graph Transformation Systems Using Symmetric Nets [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Graph transformation systems (GTS) have been successfully proposed as a general, theoretically sound model for concurrency. Petri nets (PN), on the other side, are a central and intuitive formalism for concurrent or distributed systems, well supported by
Lorenzo Capra
doaj +1 more source