Login / Signup
Distributed computation of vector clocks in Petri net unfoldings for test selection.
Loïg Jezequel
Agnes Madalinski
Stefan Schwoon
Published in:
Discret. Event Dyn. Syst. (2020)
Keyphrases
</>
petri net
distributed computation
distributed storage
stochastic petri net
discrete event systems
petri net model
distributed databases
service composition
web service composition
colored petri nets
scalability issues
fuzzy petri net
ims ld
database
peer to peer
transitive closure