Results 171 to 174 of about 462,160 (174)

Petri nets are monoids: a new algebraic foundation for net theory

J Meseguer, U Montanari
exaly  

Model checking ARAN ad hoc secure routing protocol with algebraic Petri nets

2014
exaly  

An application of algebraic Petri nets specification for vendor management inventory

Jixin Qian
exaly  

An algebraic model for performance evaluation of a class of continuous Petri nets

exaly