Scharf2023 - Holistic View on the Structure of Immune Response: Petri Net Model
收藏NIAID Data Ecosystem2026-05-01 收录
官方服务：
资源简介：
No description
应用场景：
创建时间：
2023-06-21
相关数据集
SOLID-M Instantiation Example
SOLID-M is a quality framework for conceptual models learned from data.his dataset provides a SOLID-M instantiation example for analyzing the quality of agent-based Petri net models discovered from da
DataCite Commons2024-05-15 更新170
Parameters used in all simulations unless otherwise noted.
Values are approximated within biologically relevant ranges, based on known immune system characteristics and previous modeling work [8], [14] (see Appendix S1 for details). Although the exact phase d
NIAID Data Ecosystem80
KReach Artifact - TACAS 2020
Reproducible outcomes from the 2020 TACAS paper KReach: A Tool for Reachability in Petri Nets by Alex Dixon & Ranko Lazic.
Mendeley Data2024-01-31 更新50
Parameters of our two-scale migration model.
References that support the parameters are given where available. The entry rates into LNs and spleen are not experimental estimates but are adopted from earlier modeling work [17]. However, these val
NIAID Data Ecosystem80
A Petri net tool for software performance estimation based on upper throughput bounds
Functional and non-functional properties analysis (i.e., dependability, security, or performance) ensures that requirements are fulfilled during the design phase of software systems. However, the Unif
Mendeley Data2023-09-08 更新70
