Login / Signup
Transition Invariants in the Analysis of Concurrent Systems Modelled by Petri Nets.
Maxim Malinski
Marcin Wojnakowski
Remigiusz Wisniewski
Andrzej Obuchowicz
Published in:
DoCEIS (2024)
Keyphrases
</>
concurrent systems
petri net
colored petri nets
manufacturing systems
discrete event systems
process algebra
temporal logic
web service composition
distributed systems
model checking
data analysis
process model
petri net model
programmable logic controller