Results 31 to 40 of about 82 (74)

Brauer and partition diagram models for phylogenetic trees and forests. [PDF]

Proc Math Phys Eng Sci, 2022
Francis A, Jarvis PD.
europepmc   +1 more source

Petri Algebras

, 2004
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural number. We identify a class of residuated commutative monoids, called Petri algebras, for which one can mimic the token game of Petri nets to define the
Badouel, Eric, Chenou, Jules, Guillou, Goulven   +2 more
core  

Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]

Order (Dordr), 2023
Couceiro M, Duffus D.
europepmc   +1 more source

A Comprehensive Framework for Saturation Theorem Proving. [PDF]

J Autom Reason, 2022
Waldmann U, Tourret S, Robillard S, Blanchette J.   +3 more
europepmc   +1 more source

Dynamic and stochastic systems as a framework for metaphysics and the philosophy of science. [PDF]

Synthese, 2021
List C, Pivato M.
europepmc   +1 more source

Fact, Fiction, and Fitness. [PDF]

Entropy (Basel), 2020
Prakash C, Fields C, Hoffman DD, Prentner R, Singh M.   +4 more
europepmc   +1 more source

Towards a mathematical framework for modelling cell fate dynamics. [PDF]

J Math Biol
Vittadello ST, Diaz L, Liu Y, Zanca A, Stumpf MPH.   +4 more
europepmc   +1 more source

Tropical refined curve counting from higher genera and lambda classes. [PDF]

Invent Math, 2019
Bousseau P.
europepmc   +1 more source