Invariants and Home Spaces in Transition Systems and Petri Nets.

Published in: CoRR (2023)

Keyphrases

petri net
transition systems
concurrent systems
reactive systems
petri net model
model checking
discrete event systems
temporal logic
finite state
fuzzy petri net
stochastic petri net
web service composition
practical reasoning
colored petri nets
control flow
process model
distributed systems
formal specification