Skip to content

A Petri net library for reactive workflow modelling in Rust, optimised for step-wise simulation speed.

License

Notifications You must be signed in to change notification settings

marinoandrea/matera

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

21 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Matera

Warning

This project is a work in progress.

matera is a Rust library that implements reactive Petri nets as defined by Eshuis et al. in 2003.

It is designed with reactive workflow modelling in mind, and optimised for step-wise simulation speed (as opposed to memory).

Feature overview and roadmap:

  • incidence matrix and marking array base implementation
  • full-duplex event queue for environment interaction
  • asynchronous support using mpsc::channel for now
  • SIMD optimization based on TRange types
    • support for neon
    • support for avx512f
    • support for avx2
    • support for sse2

The name of this library is a very dumb pun on the word Petri, which sounds like the italian pietra meaning stone or rock. Matera is a beautiful city in southern Italy known for its stone-carved "sassi" districts.

About

A Petri net library for reactive workflow modelling in Rust, optimised for step-wise simulation speed.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages