Results 11 to 20 of about 21,375,197 (296)
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
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
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, Maria Grazia +6 more
core +2 more sources
Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 In this paper, we survey five different computational modeling methods. For comparison, we use the activation cycle of G-proteins that regulate cellular signaling events downstream of G-protein-coupled receptors (GPCRs) as a driving example.
Yifei Bao +3 more
doaj +1 more source
Stochastic High-level Petri Nets and Applications
IEEE Transactions on Computers, 1988 A class of stochastic Petri nets called stochastic high-level Petri nets (SHLPNs) is proposed. SHLPNs are high-level Petri nets augmented with exponentially distributed firing times. SHLPNs generally lead to models with a smaller state space. A computer marking concept is introduced that allows a considerable reduction of the number of states and ...
Lin, Chuang, Marinescu, Dana Cristian
openaire +3 more sources
Functorial Models for Petri Nets [PDF]
, 2001 We show that although the algebraic semantics of place/transition Petri nets under the collective token philosophy can be fully explained in terms of strictly symmetric monoidal categories, the analogous construction under the individual token philosophy
Meseguer, J. +3 more
core +2 more sources
Tools and Methods for RTCP-Nets Modeling and Verification
Archives of Control Sciences, 2016 RTCP-nets are high level Petri nets similar to timed colored Petri nets, but with different time model and some structural restrictions. The paper deals with practical aspects of using RTCP-nets for modeling and verification of real-time systems.
Szpyrka Marcin +2 more
doaj +1 more source
Characterizing Behavioural Congruences for Petri Nets
, 1995 We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising from four simple notions of behaviour, viz., traces, maximal traces, step, and ...
Priese, L. +5 more
core +2 more sources
International Journal of Technology, 2016 In any heterogeneous system, porting reconfigurable computing is often a high performance platform for a broad range of computationally challenging issues.
Maheswari R, Pattabiraman V
doaj +1 more source
Branching Processes of High-Level Petri Nets [PDF]
, 2003 In this paper, we define branching processes and unfoldings of high-level Petri nets and propose an algorithm which builds finite and complete prefixes of such unfoldings. The advantage of our method is that it avoids a potentially expensive translation of a high-level Petri net into a low-level one. The approach is conservative as all the verification
Khomenko V, Koutny M
openaire +2 more sources