Edge, Event and State Removal: The Complexity of Some Basic Techniques that Make Transition Systems Petri Net Implementable.

Published in: Petri Nets (2021)

Keyphrases

petri net
transition systems
concurrent systems
reactive systems
petri net model
process model
web service composition
fuzzy petri net
control flow
temporal logic
model checking
colored petri nets
finite state
service composition
multi agent systems
ims ld
information flow
distributed systems