Lib.rs

› Keywords #transition #simulating #forms #petri #parser #stmt #sensitivity

#nets

ptnet-core

Core types and traits for modeling and simulating Place/Transition nets

v0.1.2 #transition #simulating #modeling #traits #place #nets
reda-v

Verilog file library

v0.1.1 #parser #verilog-parser #ast #non-blocking #port #sensitivity #nets #stmt
ptnet-elementary

ptnet-core for Elementary nets (EN)

v0.1.2 #elementary #ptnet-core #en #net #transition #dot #arc #marking #nets
netlistdb

Heterogeneous VLSI circuit netlist database with support for vector nets, hierarchical modules, assignments, etc

v0.3.1 #circuit-netlist #vector-database #hierarchical #nets #assignment #vlsi
petri-nets

safe and efficient library wrapper for simulating a minimal form of petri nets

v0.4.0 250 #safe #petri #simulating #forms #nets
hvm-core

massively parallel Interaction Combinator evaluator

v0.3.0-hvm32.compat.4 3.1K #evaluator #combinator #parallel #compile #interaction #nets #rewrites #wiring #forms
water

thread-safe distributed message sending facility supporting synchronous and asynchronous I/O across process and machine boundaries. It also uses nets which allow message broadcasts to all…

v0.16.45-alpha #async-channel #communication-channel #ipc #endpoint #thread-safe #async-sync #distributed-message #single-instance #nets #bridging
cpnets

A Colored Petri Net library

v1.1.0 #petri #colored #nets #petri-nets

Try searching with DuckDuckGo.