Results 11 to 20 of about 315,703 (191)
A coloured Petri net trust model [PDF]
14th International Workshop on Database and Expert Systems Applications, 2003. Proceedings., 2004 Conference Papers erschienen als: Lecture notes in computer science, Vol ...
Lory, Peter
openaire +4 more sources
Petri nets for systems and synthetic biology [PDF]
, 2008 We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which uni¯es the qualita- tive, stochastic and continuous paradigms.
Donaldson, R, Heiner, M, Gilbert, D
core +6 more sources
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 +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
Process versus Unfolding Semantics for Place/Transition Petri Nets [PDF]
, 1996 In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game," one can model the behaviour of Petri nets via non-sequential processes, via unfolding constructions, which provide ...
Vladimiro Sassone (16064975) +14 more
core +2 more sources
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
High-Level Petri Nets as Type Theories in the Join Calculus
, 2001 We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four classes of nets of increasing expressiveness, $PN_i$, introduce a hierarchy of type ...
Buscemi, M., Sassone, V.
core +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 +1 more source
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 +3 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