Property Analysis of Gateway Refinement of Object-Oriented Petri Net with Inhibitor-Arcs-Based Representation for Embedded Systems
Article in Electronics (September 2023)
The most recent citing publications are shown below. View all 7 publications that cite this research output on Dimensions.
Article in Electronics (September 2023)
Book chapter (October 2021)
Article in Software Practice and Experience (September 2016)