Design and verification of petri-net-based cyber-physical systems oriented toward implementation in field-programmable gate arrays—a case study example

HIGHLIGHTS

• who: Remigiusz Wiu015bniewski and collaborators from the Institute of Control and Computation Engineering, University of Zielona Gu00f3ra, ulProfSzafrana, Zielona Gu00f3ra, Poland have published the research: Design and Verification of Petri-Net-Based Cyber-Physical Systems Oriented toward Implementation in Field-Programmable Gate Arraysu2014A Case Study Example, in the Journal: Energies 2023, 67 of /2023/
• what: In contrast the authors show that under certain assumptions the proposed algorithm is able to detect possible errors in the system even in cubic O(| T |2 | P|) time. The paper proposes Petri-net-based design of a CPS oriented . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or Email

  Password

  Remember me

  Lost your password?

  If you don't have an account, you can create one here.