Results 11 to 20 of about 8,449 (302)
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
Modelling and Simulation of Unreliable e2/e2/1/m Queueing System [PDF]
Transactions of the VŠB-Technical University of Ostrava, Mechanical Series, 2011 This paper is devoted to modelling and simulation of an E2/E2/1/m queueing system with a server subject to breakdowns. The paper introduces a mathematical model of the studied system and a simulation model created by using software CPN Tools, which is ...
Michal DORDA
doaj +1 more source
Modelling of secondary cooling system with a distributed architecture, using Coloured Petri nets
Revista Facultad de Ingeniería Universidad de Antioquia, 2019 Currently, cooling systems adjust their control structures with the objective of satisfying the demands of different applications. In consequence, the centralized structure frequently used in this type of applications has evolved towards a distributed ...
Ruth Cano +2 more
doaj +3 more sources
A Simulation Model Articulation of the REA Ontology [PDF]
, 2009 This paper demonstrates how the REA enterprise ontology can be used to construct simulation models for business processes, value chains and collaboration spaces in supply chains.
C.L. Dunn +11 more
core +2 more sources
Formal Translation from Reversing Petri Nets to Coloured Petri Nets
, 2022 Reversible computation is an emerging computing paradigm that allows any sequence of operations to be executed in reverse order at any point during computation. Its appeal lies in its potential for lowpower computation and its relevance to a wide array of applications such as chemical reactions, quantum computation, robotics, and distributed systems ...
Kamila Barylska +5 more
openaire +2 more sources
Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints
IEEE Access, 2022 A coloured Petri net (CPN) is widely used to model discrete event systems due to its compact representation of the system by colour sets associated with places, transitions and I/O arcs.
Kohei Fujita, Toshimitsu Ushio
doaj +1 more source
Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets [PDF]
, 2010 Two formal stochastic models are said to be bisimilar if their solutions as a stochastic process are probabilistically equivalent. Bisimilarity between two stochastic model formalisms means that the strengths of one stochastic model formalism can be used
Henk A.P. Blom +3 more
core +3 more sources
Automatic Code Generation from Nested Petri nets to Event-based Systems on the Telegram Platform
Труды Института системного программирования РАН, 2018 Nested Petri net formalisms is an extension of coloured Petri net formalism that uses Petri Nets as tokens. The formalism allows creating comprehensive models of multi-agent systems, simulating, verifying and analyzing them in a formal and rigorous way ...
D. I. Samokhvalov, L. W. Dworzanski
doaj +1 more source