Free Energy of Petri Nets

DOI10.1007/978-3-319-06880-0_14zbMath1408.68099OpenAlexW1518404802MaRDI QIDQ5418968

Ilias Garnier, Vincent Danos

Publication date: 2 June 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-319-06880-0_14

Mathematics Subject Classification ID

Classical flows, reactions, etc. in chemistry (92E20) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Cites Work

• Unnamed Item
• Lumpability abstractions of rule-based systems
• Bisimulation through probabilistic testing
• Bisimulation relations for weighted automata
• Bisimulation for labelled Markov processes
• Exact and ordinary lumpability in finite Markov chains
• Handbook of Graph Grammars and Computing by Graph Transformation
• Equilibrium and termination II: the case of Petri nets
• Recent Trends in Algebraic Development Techniques

This page was built for publication: Free Energy of Petri Nets