[erlang-questions] Petri nets

[Richard A. O'Keefe]

Part of the issue is that "Petri nets" sensu strictu are one
member of a large family of Place/Transition formalisms.
There is a large literature about them.

The information science department here used to be very keen
on Coloured Nets, see
https://ourarchive.otago.ac.nz/bitstream/handle/10523/912/dp1996-04-online.pdf
for example.

The big question is what using P/T nets buys you.
If you use a P/T formalism that
(a) has tools that give you useful static analyses
(b) lets you plug in code and data structures
(c) and the analyses remain valid when you have done so
then that could be very useful.

(For what it's worth, Expert Systems are still being used in
practical systems, they just aren't *called* Expert Systems
any more.  They're called Rule Engines, or Semantic Web,
or other things.)