首页/数据集/KReach Artifact - TACAS 2020

KReach Artifact - TACAS 2020

Mendeley Data2024-01-31 更新2024-06-30 收录

Petri网

可达性分析

数据链接：

https://figshare.com/articles/KReach_Artifact_-_TACAS_2020/11887956/1 数据链接链接失效反馈

官方服务：

资源简介：

Reproducible outcomes from the 2020 TACAS paper KReach: A Tool for Reachability in Petri Nets by Alex Dixon & Ranko Lazic.

应用场景：

创建时间：

2024-01-31

交通网络

可达性分析

Data and codes for measuring accessibility at agent level in Rotterdam and the Hague for research Space–time prisms in multimodal supernetwork - Part 2: Application for analyses of accessibility and e

DataCite Commons2022-04-14 更新130

High Resource Area (16-30 minute bus)

可达性分析

地理空间数据处理

Connected_Dissolve

Metropolitan Transportation Commission2024-07-15 更新40

petri-nets

Petri网

系统建模

该数据集包含三个字段：指令（instruction）、输入（input）和输出（output），均为字符串类型。数据集分为训练集（train），共有6个示例，大小为680619字节。数据集的下载大小为92817字节，并遵循知识共享署名4.0国际许可证（cc-by-4.0）。

Hugging Face2025-03-22 更新20

A Petri net tool for software performance estimation based on upper throughput bounds

性能评估

Petri网

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

Bassin de vie saint-amandois

可达性分析

区划

Base des communes constitutives du bassin de vie saint-amandois 2012 au 1ᵉʳ janvier 2022« Le bassin de vie constitue le plus petit territoire sur lequel les habitants ont accès

opendatasoft2024-10-28 更新30

KReach Artifact - TACAS 2020

资源简介：

相关数据集