Results 31 to 40 of about 64,411 (297)

Performance Evaluation of Discrete Event Systems with GPenSIM

Computers, 2018
Petri nets are a useful tool for the modeling and performance evaluation of discrete event systems. Literature reveals that the Petri Net models of real-world discrete event systems are most frequently event graphs (a subclass of Petri nets).
Reggie Davidrajuh, Bozena Skolud, Damian Krenczyk   +2 more
doaj   +1 more source

Mapping Petri Nets onto a Calculus of Context-Aware Ambients

Software
Petri nets are a graphical notation for describing a class of discrete event dynamic systems whose behaviours are characterised by concurrency, synchronisation, mutual exclusion and conflict.
François Siewe, Vasileios Germanos, Wen Zeng   +2 more
doaj   +1 more source

On Categories of Fuzzy Petri Nets

Advances in Fuzzy Systems, 2011
We introduce the concepts of fuzzy Petri nets and marked fuzzy Petri nets along with their appropriate morphisms, which leads to two categories of such Petri nets. Some aspects of the internal structures of these categories are then explored, for example,
Arun K. Srivastava, S. P. Tiwari
doaj   +1 more source

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

A simulation of synchronized curriculum for IT-specialist training based on Petri nets

Освітній вимір, 2022
In this study, the issues of contemporary IT specialists training in terms of constant innovation and rapid expansion of computing are examined in the context of synchronized curriculum shaping.
Lyudmyla I. Bilousova, Liudmyla E. Gryzun   +1 more
doaj   +1 more source

Improving Relationship between UML and Petri Nets for Analyzing System by Applying Object Oriented Petri Nets

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, Hamidreza Salmani Mojaveri, Somayeh Shafeiha   +2 more
doaj   +1 more source

Two Algebraic Process Semantics for Contextual Nets

, 2001
We show that the so-called 'Petri nets are monoids' approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable non-free monoids of places.
A. Corradini, C.A. Petri, E. Best, J. Meseguer, J. Meseguer, J. Meseguer, P. Degano, R. Janicki, U. Goltz, U. Montanari, V. Sassone, V. Sassone   +11 more
core   +3 more sources

The derivation of performance expressions for communication protocols from timed Petri net models [PDF]

, 1983
Petri Net models have been extended in a variety of ways and have been used to prove the correctness and evaluate the performance of communication protocols. Several extensions have been proposed to model time.
Berthelot G., Berthomieu B., Bochmann G.V., Coolahan J.E., Hailpern B., Merlin P., Ramamoorthy C.V., Ramchandani C., Rami R. Razouk, Razouk R.R., Sabnani K., Sifakis J., Symons F.J.W., Teng A.Y., Vernon M.K., Yelowits L.   +15 more
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, Jan Kosla, Magdalena Prechova, Lukas Frick, Patricia Bortel, Yasmin Borutzki, Andrea Bileck, Christopher Gerner, Samuel M. Meier‐Menches, Selma Osmanagic‐Myers, Martin Gregor   +10 more
wiley   +1 more source

Genetic attenuation of ALDH1A1 increases metastatic potential and aggressiveness in colorectal cancer

Molecular Oncology, EarlyView.
Aldehyde dehydrogenase 1A1 (ALDH1A1) is a cancer stem cell marker in several malignancies. We established a novel epithelial cell line from rectal adenocarcinoma with unique overexpression of this enzyme. Genetic attenuation of ALDH1A1 led to increased invasive capacity and metastatic potential, the inhibition of proliferation activity, and ultimately ...
Martina Poturnajova, Zuzana Kozovska, Ondrej Pos, Kristina Pavlov, Sachin Gulati, Peter Makovicky, Kristina Jakic, Monika Burikova, Eva Sedlackova, Barbora Svitkova, Silvia Tyciakova, Vojtech Bystry, Nicolas Blavet, Boris Tichy, Matej Hrnciar, Jaroslav Budis, Miroslav Tomas, Peter Dubovan, Georgina Kolnikova, Veronika Repaska, Nikoleta Mojzesova, Eva Zomborska, Daniel Pindak, Michal Mego, Tomas Szemes, Miroslava Matuskova   +25 more
wiley   +1 more source