Results 51 to 60 of about 129 (116)

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  

Boundary Algebra: A Simpler Approach to Boolean Algebra and the Sentential Connectives [PDF]

Boundary algebra [BA] is a algebra of type , and a simplified notation for Spencer-Brown’s (1969) primary algebra. The syntax of the primary arithmetic [PA] consists of two atoms, () and the blank page, concatenation, and enclosure between ‘(‘ and ...
Philip Meguire
core  

Kan Extensions are Partial Colimits. [PDF]

Appl Categ Struct, 2022
Perrone P, Tholen W.
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

Scattering diagrams, tight gradings, and generalized positivity. [PDF]

Proc Natl Acad Sci U S A
Burcroff A, Lee K, Mou L.
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

Simplex polynomial in complex networks and its applications to compute the Euler characteristic. [PDF]

Front Comput Neurosci
Wang Z, Fu X, Deng B, Chen Y, Zhao H.
europepmc   +1 more source

Higher Algebraic K-Theory of Causality. [PDF]

Entropy (Basel)
Mahadevan S.
europepmc   +1 more source

The local motivic DT/PT correspondence. [PDF]

J Lond Math Soc, 2021
Davison B, Ricolfi AT.
europepmc   +1 more source