Results 81 to 90 of about 8,449 (302)

Performance Analysis of an Assembly System: a Case Study

, 2006
International audiencePetri nets are well suited for modelling production systems and analysis of their performance. In this paper we study a flowshop system driven by a set of local command units and a central controller, modelled with Timed Coloured ...
Cojan, Jean-Luc, Le Parc, Philippe, Plassart, Loic, Singhoff, Frank   +3 more
core   +1 more source

Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA [PDF]

, 2006
This paper examines the influence of the Raf Kinase Inhibitor Protein (RKIP) on the Extracellular signal Regulated Kinase (ERK) signalling pathway [5] through modelling in a Markovian process algebra, PEPA [11].
A. Aziz, A. Regev, C. Priami, C.A. Vissers, J. Fisher, J. Hillston, J.A. Papin, J.M. Colom, K.-H. Cho, M. Kwiatkowska, S. Gilmore, T.H. Matheiss, W. Stewart, W.H. Elliot   +13 more
core   +3 more sources

Bifunctional Surfaces With Immobilized Antibodies and Bioactive Peptides Mediate Selective Capture and Proliferation of Endothelial Colony‐Forming Cells

Advanced Healthcare Materials, EarlyView.
A tunable bifunctional surface is developed by combining Fc‐binding peptides and RGD motifs to present oriented antibodies alongside integrin‐mediated signaling. The platform selectively captures endothelial colony‐forming cells while promoting their adhesion and proliferation.
Hugo A. Level, Marc‐Antoine Campeau, Mohamed A. Elkhodiry, Gaétan Laroche, Jean‐François Tanguay, Corinne A. Hoesli   +5 more
wiley   +1 more source

Coloured Petri Net Refinement Specification and Correctness Proof with Coq [PDF]

In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of their type refinement in COQ. Then the COQ proof assistant is used to prove the
Choppy, Christine, Mayero, Micaela, Petrucci, Laure   +2 more
core   +1 more source

A symbolic reachability graph for coloured petri nets

Theoretical Computer Science, 1997
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Chiola, Giovanni, Dutheillet, Claude, Franceschinis, Giuliana, Haddad, Serge   +3 more
openaire   +3 more sources

Large‐Area 2D Metasurface‐Based Triboelectric E‐Skin Arrays: Contact & Proximity Tactile Mapping with Broadband Acoustic Readouts

Advanced Materials, EarlyView.
Metasurface‐engineered NC‐TENG arrays integrate tactile pressure mapping, non‐contact gesture sensing, and acoustic signal readouts in one ultrathin module, and outperforms pristine PDMS in terms of electrical output and real‐time spatial mapping for next‐gen wearables.
Injamamul Arief, Swagato Sarkar, Anik Kumar Ghosh, Osvalds Verners, Kamal Kumar Meena, Su‐Hyeong Lee, Soosang Chae, Tobias A. F. König, Beate Krause, Andreas Fery, Mehmet Sait Özer, Anindya Nag, Amit Das   +12 more
wiley   +1 more source

Identification of detailed behaviour of Flexible Manufacturing Cell using Hierarchical Timed Coloured Petri Nets

MATEC Web of Conferences, 2017
The goal of this paper is focused on identifying the behavioural structure of a flexible manufacturing cell (FMC) using a model based on Coloured Timed Petri Nets and applying hierarchical techniques.
Saren Sanjib Kumar, Blaga Florin, Vesselenyi Tiberiu   +2 more
doaj   +1 more source

A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets [PDF]

, 2013
We develop a polynomial translation from finite control pi-calculus processes to safe low-level Petri nets. To our knowledge, this is the first such translation.
Hüchting, Reiner, Khomenko, Victor, Meyer, Roland   +2 more
core   +1 more source

Parametrisation of Coloured Petri Nets

DAIMI Report Series, 1997
In this paper we propose a conceptual framework for parametrisation of Coloured Petri Nets --- a first step towards the formulation and formalisation of <em>Parametric</em> Coloured Petri Nets. We identify and characterise three useful kinds of parametrisation, namely value, type, and net structure parameters. While the two former kinds are
Søren Christensen, Kjeld Høyer Mortensen   +1 more
openaire   +2 more sources

Actuation of Cell Layers in Three Dimensions

Advanced Materials, EarlyView.
ABSTRACT The alignment of fibers and cells in living tissues affect their mechanical properties and functionality. In this context, one can draw an analogy between tissues and nematic liquid crystal elastomers. We explore this analogy by growing fibroblasts on 2D‐patterned substrates and observing the contraction of cell sheets upon detachment from the
Kirsten Endresen, Aniruddh Murali, Birte C. Geerds, Grecia M. Valenzuela Portillo, Maria Bloksgaard, Daniel J.G. Pearce, Francesca Serra   +6 more
wiley   +1 more source