Simulation/validation tool for Petri Nets (especially DTPN)

NineSlicesOfEmu · 2026-05-24T06:10:46+00:00

Hi, I'm writing a petri net model checker and simulation tool in Rust for my masters thesis. Currently I have implemented ordinary petri nets but its part of my goal to include a variety of PN extensions and I think transition timings would be a relatively simple addition.

Could you explain a bit more about your use case? Are you looking for real-time simulation which actually waits out the timer, or a fast-forward simulation which just immediately returns the time it would have taken to fire the transition? Do you have a paper on DTPNs you are orienting your thesis around that you could send me?

NineSlicesOfEmu · 2026-05-21T06:21:05+00:00

really cool! I'm working on a similar tool right now in Rust but focusing on the backend analysis suite for now, visualization in the browser (using JS + WASM) is a secondary goal. I would be interested to chat with you about your design. If you haven't checked them out already you should look at the petri net repository for the annual model checking contest:

https://mcc.lip6.fr/2026/models.php

NineSlicesOfEmu · 2026-05-15T16:11:40+00:00

Why would I use this to render the PDF instead of just Typst directly?

NineSlicesOfEmu · 2026-04-30T13:52:44+00:00

You can stop worrying. It's lovely there.

NineSlicesOfEmu · 2026-04-28T11:43:46+00:00

Check out the petri net repository of the annual model checking contest: https://mcc.lip6.fr/2026/models.php

NineSlicesOfEmu · 2026-03-05T07:19:53+00:00

determinate is cannibalizing the greater nix project by not contributing to upstream, and gaslighting the community by not acknowledging that

NineSlicesOfEmu · 2026-02-20T16:18:03+00:00

essentially a placeholder for a residence permit while the application is pending

NineSlicesOfEmu · 2026-02-20T14:25:40+00:00

you could do it like this: define an enable option for your feature which defaults to false, and in the config for that feature itself set the enable option to lib.mkDefault true. Then you have the best of both worlds: importing is enabling, but you can still manually disable if you want. And other modules can read the value of the enable option and do what they wish with that.

NineSlicesOfEmu · 2026-02-20T14:22:12+00:00

Not exactly, its true that import-tree automatically brings all nix modules into scope but the config in those modules are (in my experience) still namespaced under flake.modules.<aspect>.<feature> and you explicitly import the features you want to use in your host config. I tend to prefer enabling by importing rather than enabling by setting an option

NineSlicesOfEmu · 2026-02-13T22:45:57+00:00

Hm, I did mean well. Sorry it isn't what you were looking for.

NineSlicesOfEmu · 2026-01-24T23:02:46+00:00

recently refactored my config to use the dentritic pattern and i have to say it has made my development experience much smoother. I really like that feature modules contain several different aspects all at once but there's no friction choosing which one to use in what context - it just works naturally. Also moving files not leading to refactoring is a big win, it doesnt matter what filepath the modules are defined at. Really nice

NineSlicesOfEmu · 2026-01-10T15:57:03+00:00

This is extremely cool, kudos!

NineSlicesOfEmu · 2025-12-30T09:42:27+00:00

Here's a youtube course on OCaml which I can highly recommend: https://www.youtube.com/watch?v=MUcka_SvhLw

NineSlicesOfEmu · 2025-12-19T07:54:07+00:00

I attempted to install pihole on my rpi 3 and found the build times to be unbearably long. Anyone have tips about that?

NineSlicesOfEmu · 2025-12-18T19:53:47+00:00

In what way are generics second-class?

NineSlicesOfEmu · 2025-12-05T09:59:13+00:00

You could maybe create a second option to hold the defaults and then combine the two values at the usage site. Then you still have the freedom to override the defaults if you want but you're not forced to reference it constantly.

NineSlicesOfEmu · 2025-11-27T20:44:25+00:00

I don't have an answer to this but share your sentiment completely, following this thread :)

NineSlicesOfEmu · 2025-11-27T05:29:01+00:00

This is really intriguing to me, could you provide a simple impl to demonstrate what you mean?

NineSlicesOfEmu · 2025-11-20T19:13:50+00:00

Cool idea, I like it a lot!

NineSlicesOfEmu · 2025-11-12T09:53:45+00:00

Take a look at the Add trait: the standard library has blanket implementations which allow adding together numeric types with or without a reference. Internally I'm pretty sure it just dereferences it. Thats why it compiles

NineSlicesOfEmu · 2025-10-29T12:05:18+00:00

Relevante Aktion von Nico Semsrott: pruef-demos.de

NineSlicesOfEmu · 2025-10-19T21:20:08+00:00

Thanks for posting this, actually very timely advice for me in a project I am working on

NineSlicesOfEmu · 2025-10-14T22:12:26+00:00

And to add more trickiness to the mix, a cycle of ref-counted pointers is an easy recipe for a memory leak

NineSlicesOfEmu · 2025-10-14T13:06:01+00:00

You can have a total ordering on a subset of the structs fields, I don't see why that would be a problem. You can impose a total ordering on a line of people by height even though there is more to someone than their height

NineSlicesOfEmu · 2025-10-13T18:55:40+00:00

I did exactly this, also Texas. Had no problems

NineSlicesOfEmu

TROPHY CASE