Dmitry A. Zaitsev
- Toward the Minimal Universal Petri Net
2013/02/15 by Dmitry A. Zaitsev · 1 citation
Computer Science · Mathematics · #Petri Nets in System Modeling #Formal Methods in Verification #Distributed systems and fault tolerance #Petri net #Computer science #Encoding (memory) #Net (polyhedron) #Turing machine #Class (philosophy) #Time complexity #Stochastic Petri net #Algorithm #Exponential function #Theoretical computer science #Discrete mathematics #Sequence (biology) #Parallel computing #Mathematics #Artificial intelligence #Computation #Geometry