Results 31 to 40 of about 262,073 (323)
Time Delays in Membrane Systems and Petri Nets [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Timing aspects in formalisms with explicit resources and parallelism are investigated, and it is presented a formal link between timed membrane systems and timed Petri nets with localities.
Bogdan Aman, Gabriel Ciobanu
doaj +1 more source
Journal of Advances in Information Technology, 2013 Today, by developing technology and presenting Object-Oriented and Concurrent systems, new modeling languages with powerful mathematical and formulaic base are needed.
Meysam Aminzadeh +2 more
doaj +1 more source
Wadge Degrees of $\omega$-Languages of Petri Nets
, 2018 We prove that $\omega$-languages of (non-deterministic) Petri nets and $\omega$-languages of (non-deterministic) Turing machines have the same topological complexity: the Borel and Wadge hierarchies of the class of $\omega$-languages of (non ...
Finkel, Olivier
core +1 more source
Modelling epistasis in genetic disease using Petri nets, evolutionary computation and frequent itemset mining [PDF]
, 2010 Petri nets are useful for mathematically modelling disease-causing genetic epistasis. A Petri net model of an interaction has the potential to lead to biological insight into the cause of a genetic disease.
Beretta, Lorenzo, Mayo, Michael
core +2 more sources
Algebraic Models for Contextual Nets [PDF]
, 2000 We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual token philosophy uniformly along the two interpretations of net ...
Bruni, R., Sassone, V.
core +2 more sources
Molecular Oncology, EarlyView.The LINC01116 long noncoding RNA is induced by hypoxia and associated with poor prognosis and high recurrence rates in two cohorts of lung adenocarcinoma patients. Here, we demonstrate that besides its expression in cancer cells, LINC01116 is markedly expressed in lymphatic endothelial cells of the tumor stroma in which it participates in hypoxia ...
Marine Gautier‐Isola +12 more
wiley +1 more source
Modelling and controlling traffic behaviour with continuous Petri nets [PDF]
, 2005 Traffic systems are discrete systems that can be heavily populated. One way of overcoming the state explosion problem inherent to heavily populated discrete systems is to relax the discrete model.
Boel, René, JULVEZ, J
core +2 more sources
Plecstatin inhibits hepatocellular carcinoma tumorigenesis and invasion through cytolinker plectin
Molecular Oncology, EarlyView.The ruthenium‐based metallodrug plecstatin exerts its anticancer effect in hepatocellular carcinoma (HCC) primarily through selective targeting of plectin. By disrupting plectin‐mediated cytoskeletal organization, plecstatin inhibits anchorage‐dependent growth, cell polarization, and tumor cell dissemination.
Zuzana Outla +10 more
wiley +1 more source
A Compositional Analysis Method for Petri-Net Models
IEEE Access, 2017 Compositional analysis aims to reveal the underlying structures of a large-scale system or network by analyzing its constituent components and their relationships.
Jie Ding, Xiao Chen, Rui Wang
doaj +1 more source
Extension of Petri Nets by Aspects to Apply the Model Driven Architecture Approach [PDF]
, 2005 Within MDA models are usually created in the UML. However, one may prefer to\ud use different notations such as Petri-nets, for example, for modelling concurrency\ud and synchronization properties of systems. This paper claims that techniques that\ud are
Aksit, M., Roubtsova, E.E.
core +1 more source