Enzymatic competition: Modeling and verification with timed hybrid Petri nets

DOI10.1016/J.PATCOG.2008.09.019MaRDI QIDQ1013380zbMATH OpenOpenAlexFDO

Authors Sylvie Troncale, Jean-Paul Comet, Gilles Bernot

Publication date 17 April 2009

Published in Pattern Recognition (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.patcog.2008.09.019

zbMATH Keywords

metamorphosismodel checkingtimed hybrid Petri netsverification

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Hybrid functional Petri nets as MP systems
• Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
• Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks
• Time Petri nets for modelling and analysis of biochemical networks
• On hybrid Petri nets

Cites work

• Discrete, Continuous, and Hybrid Petri Nets
• Enzymatic competition: Modeling and verification with timed hybrid Petri nets
• Event-clock automata: a determinizable class of timed automata
• scientific article; zbMATH DE number 50840 (Why is no real title available?)
• scientific article; zbMATH DE number 1400049 (Why is no real title available?)

Cited in

(2)

• Enzymatic competition: Modeling and verification with timed hybrid Petri nets
• Hybrid functional Petri nets as MP systems

This page was built for publication: Enzymatic competition: Modeling and verification with timed hybrid Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1013380)