KReach: A Tool for Reachability in Petri Nets.

Alex Dixon Ranko Lazic

Published in: TACAS (1) (2020)

Keyphrases

petri net
discrete event systems
manufacturing systems
petri net model
high level petri nets
sequence diagrams
service composition
stochastic petri net
colored petri nets
fuzzy petri net
process model
state machines
concurrent systems
programmable logic controller