Some aspects of modeling and analysis of complex biological systems using time Petri nets

Some aspects of modeling and analysis of complex biological systems using time Petri nets

Bibliographic Details
Main Authors:	J. Olszak, M. Radom, P. Formanowicz
Format:	Article
Language:	English
Published:	Polish Academy of Sciences 2018-02-01
Series:	Bulletin of the Polish Academy of Sciences: Technical Sciences
Subjects:	biological systems time petri nets t-invariants
Online Access:	https://journals.pan.pl/Content/103603/PDF/067-078_00415_Bpast.No.66-1_28.02.18_K3Tex.pdf

Similar Items

A Stochastic Petri Net-Based Model of the Involvement of Interleukin 18 in Atherosclerosis
by: Dorota Formanowicz, et al.
Published: (2020-11-01)

A Role of Inflammation and Immunity in Essential Hypertension—Modeled and Analyzed Using Petri Nets
by: Dorota Formanowicz, et al.
Published: (2020-05-01)

The study of the influence of micro-environmental signals on macrophage differentiation using a quantitative Petri net based model
by: Rżosińska Katarzyna, et al.
Published: (2017-06-01)

Cholesterol Metabolism Pathways Disturbances in Atherosclerosis—Analyses Using Stochastic Petri Net-Based Model
by: Agnieszka Rybarczyk, et al.
Published: (2023-05-01)

T-invariants for jumping Petri nets
by: Cristian Vidrascu
Published: (2001-12-01)

The effect of cigarette smoking on endothelial damage and atherosclerosis development – modeled and analyzed using Petri nets
by: Chmielewska Kaja, et al.
Published: (2017-06-01)

Control of Cholesterol Metabolism Using a Systems Approach
by: Dorota Formanowicz, et al.
Published: (2022-03-01)

Quasi-Steady-State Analysis based on Structural Modules and Timed Petri Net Predict System’s Dynamics: The Life Cycle of the Insulin Receptor
by: Jennifer Scheidel, et al.
Published: (2015-12-01)

Logic Petri Net Synthesis for Cooperative Systems
by: Wenjing Luan, et al.
Published: (2019-01-01)

Composition of Logical Petri Nets and Compatibility Analysis
by: Wenjing Luan, et al.
Published: (2017-01-01)

Discrete, continuous, and hybrid Petri Nets /
by: David, Rene, 1939-, et al.
Published: (2005)

Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach
by: Chen Chen, et al.
Published: (2019-01-01)

Essentials in Petri nets : information technology and computers /
by: Hinrichs, Ruth, editor
Published: (2015)

Automation of petri nets simulation/
by: Nuzulan Naim Zulkipli, 1983-, et al.
Published: (2016)

Existence of Forbidden Digraphs for Crisp Boolean Petri Nets
by: Gajendra Pratap Singh, et al.
Published: (2020-02-01)

Petri net theory and the modeling of systems/
by: 276066 Peterson, James L.
Published: (1981)

Petri nets and manufacturing systems /
by: Hinrichs, Ruth, editor
Published: (2015)

Understandinng petri nets : modeling techniques, analysis methods, case studies /
by: Reisig, Wolfgang, 1950-
Published: (c201)

Modeling the Metabolism of Arabidopsis thaliana: Application of Network Decomposition and Network Reduction in the Context of Petri Nets
by: Ina Koch, et al.
Published: (2017-06-01)

Automation of petri nets simulation [electronic resource]/
by: Nuzulan Naim Zulkipli, 1983-
Published: (2016)

Modelling Inteligent Systems with Level Petri Nets
by: Corina BOCĂNEALĂ
Published: (2008-12-01)

Power system fault diagnosis using integrated time petri net and expert system /
by: Abdullah Asuhaimi Mohd. Zin, 1952- 602136, et al.
Published: (2001)

Holistic View on the Structure of Immune Response: Petri Net Model
by: Sonja Scharf, et al.
Published: (2023-02-01)

A matlab-based petri net simulation tool [UTM journal article] /
by: Mohamad Noh Ahmad, et al.

Petri nets in flexible and agile automation /
by: Zhou, MengChu
Published: (1995)

Petri net modeling for FMS in Electrical Engineering Faculty /
by: 237604 Faizal Rizal Zaidin
Published: (1998)

Shared P-Type Logic Petri Net Composition and Property Analysis: A Vector Computational Method
by: Liang Qi, et al.
Published: (2020-01-01)

A coloured timed petri net (CTPN) modelling and implementation of zone control manufacturing machines system /
by: 272825 Tam, Chee Mei
Published: (1999)

Key Therapeutic Targets to Treat Hyperglycemia-Induced Atherosclerosis Analyzed Using a Petri Net-Based Model
by: Agnieszka Rybarczyk, et al.
Published: (2023-12-01)

Structural matrices for Signed Petri net
by: Payal, et al.
Published: (2022-05-01)

A HIGH-LEVEL PETRI NET MODEL OF QUEUEING PRODUCTION SYSTEM
by: Oleh KUZMIN, et al.
Published: (2014-09-01)

Merekabentuk pentafsir petri net pada komputer /
by: 243426 Zulkiflee Jasman
Published: (1995)

Reachability analysis of a class of Petri nets using place invariants and siphons
by: Zhi Wu Li
Published: (2013-07-01)

Task Preemption Based on Petri Nets
by: Wangyang Yu, et al.
Published: (2020-01-01)

TiPeNeSS: A Timed Petri Net Simulator Software with Generally Distributed Firing Delays
by: Ádám Horváth, et al.
Published: (2016-11-01)

Advances in verification of time petri nets and timed automata : a temporal logic approach /
by: 428455 Penczek, Wojciech, et al.
Published: (2006)

An object-oriented modular petri net for modeling and simulation of manufacturing control system /
by: 243529 Lee, Heng Seng
Published: (1999)

Modeling, simulation, and control of flexible manufacturing systems : a petri net approach /
by: 443518 Zhou, MengChu, et al.
Published: (1999)

A study on petri nets method of programming for industrial systems /
by: 378749 Ng, Kok Choon
Published: (2000)

A matlab-based petri net simulation tool /
by: Abdul Wahab Ishari Mohd. Hashim, et al.
Published: ([199)