Login / Signup
Preliminary Verification of Liveness in a Control Part of Cyber-Physical Systems Modeled by a Petri Net.
Mateusz Poplawski
Remigiusz Wisniewski
Grzegorz Bazydlo
Maxim Malinski
Published in:
DoCEIS (2023)
Keyphrases
</>
petri net
petri net model
cyber physical systems
colored petri nets
concurrent systems
service composition
physical world
cyber physical
control system
cyber security
production process
stochastic petri net
fuzzy petri net
ims ld
smart grid
web services
embedded systems
cloud computing