Enzymatic competition: Modeling and verification with timed hybrid petri nets
type: Dataset
description: International audience
issued: 2026-05-05T19:55:40.052840
language: en
modified: 2026-05-05T19:55:40.052844
contact point: Organization
  fn: CCSD
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-bicomputer-science-csbioinformatics-q-bioqm
keyword: journal-articles
keyword: metamorphosis
keyword: model-checking
keyword: sdvbibslife-sciences-q-bioquantitative-methods-q-bioqm
keyword: timed-hybrid-petri-nets
keyword: verification
landing page: 0167-8655

Enzymatic competition: Modeling and verification with timed hybrid petri nets
type: Distribution
format: HTML
issued: 2026-05-05T19:55:40.063346
modified: 2026-05-05T19:55:40.038895
access URL: https://hal.science/hal-00967379

test_moissonnage_selune
type: Agent