Enzymatic competition: Modeling and verification with timed hybrid Petri nets

DOI10.1016/j.patcog.2008.09.019zbMath1178.68368OpenAlexW2125867388MaRDI QIDQ1013380

Gilles Bernot, Sylvie Troncale, Jean-Paul Comet

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

verificationmodel checkingmetamorphosistimed hybrid Petri nets

Mathematics Subject Classification ID

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

Related Items (1)

Enzymatic competition: Modeling and verification with timed hybrid Petri nets

Cites Work

• Enzymatic competition: Modeling and verification with timed hybrid Petri nets
• Event-clock automata: a determinizable class of timed automata
• Discrete, Continuous, and Hybrid Petri Nets
• Unnamed Item
• Unnamed Item

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