Return to Article Details Formal Modeling and Analysis of Data Flow in API-Integrated Systems Using the Petri Net Model Download Download PDF