Timed P Automata

DOI10.1016/j.entcs.2008.12.102zbMath1347.68127OpenAlexW3091546927WikidataQ124343754 ScholiaQ124343754MaRDI QIDQ5179423

Luca Tesei, Andrea Maggiolo-Schettini, Paolo Milazzo, Roberto Barbuti

Publication date: 19 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.102

zbMATH Keywords

timed automataP systemsecological models

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Ecology (92D40)

Related Items (3)

A survey of timed automata for the development of real-time systems ⋮ Verification of membrane systems with delays via Petri nets with delays ⋮ Modelling Queues in Transportation Networks Using P Systems

Cites Work

• Unnamed Item
• Unnamed Item
• A theory of timed automata
• Symbolic model checking for real-time systems
• Computing with membranes
• Membrane computing. An introduction.
• Membrane Computing

This page was built for publication: Timed P Automata