Efficient Algorithms for Three Reachability Problems in Safe Petri Nets.

Pierre Bouvier Hubert Garavel

Published in: Petri Nets (2021)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
colored petri nets
high level petri nets
e learning
control system
computer systems
human brain