{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T04:08:25Z","timestamp":1760242105270,"version":"build-2065373602"},"reference-count":53,"publisher":"MDPI AG","issue":"12","license":[{"start":{"date-parts":[[2018,12,18]],"date-time":"2018-12-18T00:00:00Z","timestamp":1545091200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronics"],"abstract":"<jats:p>Whereas most of the work that analyses Synchronous Dataflow (SDF) stays in the dataflow framework, this work pushes its analysis into another framework level, thereby addressing issues that are not well addressed or are even unexplored in SDF. In this manner, the paper proposes a model-driven engineering (MDE) method, combining Synchronous Dataflow (SDF) and Petri nets, to highlight and reinforce their interoperability in digital signal processing applications, cyber-physical systems, or industrial applications. Improvements regarding the settlement and exploitation of the initial conditions associated with SDF are demonstrated; this issue is crucial for every cyber-physical system, since a system\u2019s initial conditions are crucial to ensuring the system\u2019s liveness. The improvements outlined in this work exploit an innovating mapping in the Place\/Transition (P\/T) Petri net domain that is intended to reduce and predict the total amount of initial data in SDF channels. The relevance of the firing semantics engaged with the equivalent Petri net model is discussed. This paper proposes a new approach to estimate whether an SDF has a static schedule by performing simulation and property verification of the equivalent-based P\/T Petri net system achieved, framed by a Petri net invariant analysis and based on the stubborn set method of Petri nets. In this way, this new approach will allow mitigating the state explosion problem. Finally, a strategy is applied to two case studies to discover all the elementary circuits (static schedules) associated with the generated model\u2019s state-space.<\/jats:p>","DOI":"10.3390\/electronics7120448","type":"journal-article","created":{"date-parts":[[2018,12,18]],"date-time":"2018-12-18T05:47:45Z","timestamp":1545112065000},"page":"448","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Improving Synchronous Dataflow Analysis Supported by Petri Net Mappings"],"prefix":"10.3390","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2695-1579","authenticated-orcid":false,"given":"Jos\u00e9-In\u00e1cio","family":"Rocha","sequence":"first","affiliation":[{"name":"Escola Superior de Tecnologia de Set\u00fabal, Instituto Polit\u00e9cnico de Set\u00fabal, Campus do IPS, 2914-761 Estefanilha, Portugal"},{"name":"Center of Technology and Systems, UNINOVA-CTS, FCT Campus, 2829-516 Caparica, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0976-5467","authenticated-orcid":false,"given":"Oct\u00e1vio","family":"P\u00e1scoa Dias","sequence":"additional","affiliation":[{"name":"Lus\u00edada University of Lisbon, Rua da Junqueira, 188-198, 1349-001 Lisboa, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4299-8270","authenticated-orcid":false,"given":"Lu\u00eds","family":"Gomes","sequence":"additional","affiliation":[{"name":"Center of Technology and Systems, UNINOVA-CTS, FCT Campus, 2829-516 Caparica, Portugal"},{"name":"Faculty of Science and Technology (FCT NOVA), Campus Caparica, 2829-516 Caparica, Portugal"}]}],"member":"1968","published-online":{"date-parts":[[2018,12,18]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/s10617-011-9069-3","article-title":"Model-driven Software Synthesis for Hard Real-time Applications with Energy Constraints","volume":"14","author":"Tavares","year":"2010","journal-title":"Des. Autom. Embed. Syst."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Rocha, J.I., Gomes, L., and Dias, O.P. (2012, January 25\u201328). Analysing Storage Resources on Synchronous Dataflows using Petri net Verification Techniques. Proceedings of the IECON 2012\u201438th Annual Conference on IEEE Industrial Electronics Society, Montreal, QC, Canada.","DOI":"10.1109\/IECON.2012.6389492"},{"key":"ref_3","doi-asserted-by":"crossref","unstructured":"Bodin, B., Lesparre, Y., Delosme, J.M., and Munier-Kordon, A. (2014, January 10\u201311). Fast and Efficient Dataflow Graph Generation. Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems, Sankt Goar, Germany.","DOI":"10.1145\/2609248.2609258"},{"key":"ref_4","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0951-5240(97)00002-5","article-title":"A Petri Net-Based Integrated Control and Scheduling Scheme for Flexible Manufacturing Cells","volume":"10","author":"Lin","year":"1997","journal-title":"Comput. Integr. Manuf. Syst."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1109\/66.705370","article-title":"Modeling, Analysis, Simulation, Scheduling, and Control of Semiconductor Manufacturing Systems: A Petri Net Approach","volume":"11","author":"Zhou","year":"1998","journal-title":"IEEE Trans. Semicond. Manuf."},{"key":"ref_6","doi-asserted-by":"crossref","first-page":"762","DOI":"10.1007\/s00170-006-0640-1","article-title":"Applications of Petri Nets in Production Scheduling: A Review","volume":"34","author":"Tuncel","year":"2007","journal-title":"Int. J. Adv. Manuf. Technol."},{"key":"ref_7","doi-asserted-by":"crossref","unstructured":"Yan, X.T., Jiang, C., and Eynard, B. (2008). Overview of Modelling, Scheduling, Planning, and Control Using Petri Net Representation and AI Search. Advanced Design and Manufacture to Gain a Competitive Edge, Springer.","DOI":"10.1007\/978-1-84800-241-8"},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"6261","DOI":"10.1080\/00207540802225983","article-title":"Scheduling Manufacturing Systems with Blocking: A Petri Net Approach","volume":"47","author":"Montoya","year":"2009","journal-title":"Int. J. Prod. Res."},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Kim, H.J., Lee, J.H., and Lee, T.E. (2012, January 14\u201317). A Petri Net-Based Modeling and Scheduling with a Branch and Bound Algorithm. Proceedings of the 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC), Seoul, Korea.","DOI":"10.1109\/ICSMC.2012.6377995"},{"key":"ref_10","doi-asserted-by":"crossref","unstructured":"Drakaki, M., and Tzionas, P. (2017). Manufacturing Scheduling Using Colored Petri Nets and Reinforcement Learning. Appl. Sci., 7.","DOI":"10.3390\/app7020136"},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Guo, Z., Zhang, Y., Zhao, X., and Song, X. (2017). A Timed Colored Petri net Simulation-Based Self-Adaptive Collaboration Method for Production-Logistics Systems. Appl. Sci., 7.","DOI":"10.3390\/app7030235"},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Davidrajuh, R. (2013, January 10\u201312). Realizing Simple Petri Net Models for Complex and Large Scheduling Problems: An Approach Based Activity-Oriented Petri Nets. Proceedings of the 2013 UKSim 15th International Conference on Computer Modelling and Simulation, Cambridge, UK.","DOI":"10.1109\/UKSim.2013.32"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"2566","DOI":"10.1109\/JSYST.2017.2682185","article-title":"A Petri Net Approach to Fault Diagnosis and Restoration for Power Transmission Systems to Avoid the Output Interruption of Substations","volume":"12","author":"Jiang","year":"2018","journal-title":"IEEE Syst. J."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"1166","DOI":"10.1109\/TSMC.2016.2647219","article-title":"Modeling and Race Detection of Ladder Diagrams via Ordinary Petri Nets","volume":"48","author":"Luo","year":"2018","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1109\/JAS.2017.7510772","article-title":"Polynomial approach to optimal one-wafer cyclic scheduling of treelike hybrid multi-cluster tools via Petri nets","volume":"5","author":"Yang","year":"2018","journal-title":"IEEE\/CAA J. Autom. Sin."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"4104","DOI":"10.1109\/ACCESS.2016.2597061","article-title":"A Branching-Process-Based Method to Check Soundness of Workflow Systems","volume":"4","author":"Liu","year":"2016","journal-title":"IEEE Access"},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1109\/JAS.2017.7510775","article-title":"Behavior consistency computation for workflow nets with unknown correspondence","volume":"5","author":"Wang","year":"2018","journal-title":"IEEE\/CAA J. Autom. Sin."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"2995","DOI":"10.1109\/TII.2017.2698640","article-title":"Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets","volume":"13","author":"Xiang","year":"2017","journal-title":"IEEE Trans. Ind. Inform."},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/s11265-015-0977-5","article-title":"Comments on \u201cMinimizing Buffer Requirements Under Rate-Optimal Schedule in Regular Dataflow Networks\u201d","volume":"81","author":"Rocha","year":"2015","journal-title":"J. Signal Process. Syst."},{"key":"ref_20","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1137\/0204007","article-title":"Finding All the Elementary Circuits of a Directed Graph","volume":"4","author":"Johnson","year":"1975","journal-title":"SIAM J. Comput."},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"931","DOI":"10.2478\/amcs-2014-0068","article-title":"An Analytical Method for Well-Formed Workflow\/Petri net Verification of Classical Soundness","volume":"24","author":"Clempner","year":"2014","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"key":"ref_22","first-page":"405","article-title":"Colored Decision Process Petri nets: Modeling, Analysis and Stability","volume":"15","author":"Clempner","year":"2005","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"2741","DOI":"10.1080\/00207540412331312688","article-title":"The Tool TINA \u2013 Construction of Abstract State Spaces for Petri Nets and Time Petri Nets","volume":"42","author":"Berthomieu","year":"2004","journal-title":"Int. J. Prod. Res."},{"key":"ref_24","unstructured":"Starke, P.H., and Roch, S. (2002). Analysing Signal-Net Systems, Professoren des Inst. f\u00fcr Informatik."},{"key":"ref_25","unstructured":"Balbo, G., Conte, G., Donatelli, S., Franceschinis, G., and Marsan, A.M. (1995). Modelling with Generalized Stochastic Petri Nets, John Wiley & Sons Ltd. (Import)."},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","article-title":"Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems","volume":"9","author":"Jensen","year":"2007","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Pereira, F., Moutinho, F., and Gomes, L. (2014, January 3\u20135). IOPT-Tools\u2014Towards Cloud Design Automation of Digital Controllers with Petri Nets. Proceedings of the 2014 International Conference on Mechatronics and Control (ICMC), Jinzhou, China.","DOI":"10.1109\/ICMC.2014.7232002"},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Gomes, L., Moutinho, F., and Pereira, F. (2013, January 2\u20134). IOPT-Tools\u2014A Web Based Tool Framework for Embedded Systems Controller Development using Petri Nets. Proceedings of the 2013 23rd International Conference on Field Programmable Logic and Applications, Porto, Portugal.","DOI":"10.1109\/FPL.2013.6645633"},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Reisig, W. (2013). The Basic Concepts. Understanding Petri Nets, Springer.","DOI":"10.1007\/978-3-642-33278-4"},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Diaz, M. (2010). Petri Nets: Fundamental Models, Verification and Applications, Wiley-IEEE Press.","DOI":"10.1002\/9780470611647"},{"key":"ref_31","first-page":"471","article-title":"The semantics of a simple language for parallel programming","volume":"74","author":"Kahn","year":"1974","journal-title":"Inf. process."},{"key":"ref_32","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","article-title":"Synchronous Data Flow","volume":"75","author":"Lee","year":"1987","journal-title":"Proc. IEEE"},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Oh, H., and Ha, S. (2002, January 10\u201314). Efficient Code Synthesis from Extended Dataflow Graphs for Multimedia Applications. Proceedings of the 39th annual Design Automation Conference, New Orleans, LA, USA.","DOI":"10.1145\/513918.513990"},{"key":"ref_34","doi-asserted-by":"crossref","unstructured":"Memmi, G., and Roucairol, G. (1979, January 8\u201319). Linear Algebra in Net Theory. Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications, Hamburg, Germany.","DOI":"10.1007\/3-540-10001-6_24"},{"key":"ref_35","unstructured":"Peterson, J.L. (1981). Petri Net Theory and the Modeling of Systems, Prentice Hall PTR."},{"key":"ref_36","first-page":"552","article-title":"Petri Nets and Marked Graphs\u2014Mathematical Models of Concurrent Computation","volume":"89","author":"Johnsonbaugh","year":"1982","journal-title":"Am. Math. Mon."},{"key":"ref_37","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri Nets: Properties, Analysis and Applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proc. IEEE"},{"key":"ref_38","unstructured":"Reisig, W., and Rozenberg, G. (1996). Place or Transition Petri Nets. Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, ACPN."},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"1927","DOI":"10.1109\/TIE.2006.885448","article-title":"Improving Automatic Detection of Defects in Castings by Applying Wavelet Technique","volume":"53","author":"Li","year":"2006","journal-title":"IEEE Trans. Ind. Electron."},{"key":"ref_40","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1109\/TIE.2004.825325","article-title":"Induction Machine Fault Diagnostic Analysis with Wavelet Technique","volume":"51","author":"Chow","year":"2004","journal-title":"IEEE Trans. Ind. Electron."},{"key":"ref_41","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.dsp.2014.09.009","article-title":"Fourier Extension and Hough Transform for Multiple Component FM Signal Analysis","volume":"36","author":"Assous","year":"2015","journal-title":"Digit. Signal Process."},{"key":"ref_42","doi-asserted-by":"crossref","unstructured":"Gao, G.R., Wong, Y.B., and Ning, Q. (1991, January 9\u201312). A Timed Petri-net Model for Fine-grain Loop Scheduling. Proceedings of the 1991 Conference of the Centre for Advanced Studies on Collaborative Research, Toronto, ON, Canada.","DOI":"10.1145\/113445.113463"},{"key":"ref_43","doi-asserted-by":"crossref","unstructured":"Rocha, J.I., P\u00e1scoa Dias, O., and Gomes, L. (2014, January 7\u20139). Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows. Proceedings of the 5th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Costa de Caparica, Portugal.","DOI":"10.1007\/978-3-642-54734-8_27"},{"key":"ref_44","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/s00366-008-0122-1","article-title":"A Deadlock Prevention Approach for Flexible Manufacturing Systems without Complete Siphon Enumeration of their Petri Net Models","volume":"25","author":"Zhong","year":"2009","journal-title":"Eng. Comput."},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"1008","DOI":"10.1016\/j.automatica.2010.03.011","article-title":"Liveness of an Extended S3PR","volume":"46","author":"Liu","year":"2010","journal-title":"Automatica"},{"key":"ref_46","unstructured":"Valmari, A. (1989, January 1). Stubborn Sets for Reduced State Space Generation. Proceedings of the Tenth International Conference on Application and Theory of Petri Nets, Bonn, Germany."},{"key":"ref_47","doi-asserted-by":"crossref","unstructured":"David, R., and Alla, H. (2010). Discrete, Continuous, and Hybrid Petri Nets, Springer Publishing Company. [2nd ed.].","DOI":"10.1007\/978-3-642-10669-9"},{"key":"ref_48","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1137\/0202017","article-title":"Enumeration of the Elementary Circuits of a Directed Graph","volume":"2","author":"Tarjan","year":"1973","journal-title":"SIAM J. Comput."},{"key":"ref_49","doi-asserted-by":"crossref","unstructured":"Wiggers, M., Bekooij, M., and Smit, G. (2007, January 4\u20138). Efficient Computation of Buffer Capacities for Cyclo-Static Dataflow Graphs. Proceedings of the 2007 44th ACM\/IEEE Design Automation Conference, San Diego, CA, USA.","DOI":"10.1109\/DAC.2007.375247"},{"key":"ref_50","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1023\/A:1015452903532","article-title":"Minimizing Buffer Requirements under Rate-Optimal Schedule in Regular Dataflow Networks","volume":"31","author":"Govindarajan","year":"2002","journal-title":"J. VLSI Signal Process."},{"key":"ref_51","doi-asserted-by":"crossref","unstructured":"Bekooij, M., Moreira, O., Poplavko, P., Mesman, B., Pastrnak, M., and van Meerbergen, J. (2004, January 2\u20133). Predictable embedded multiprocessor system design. Proceedings of the 8th International Workshop Software and Compilers for Embedded Systems, SCOPES 2004, Amsterdam, The Netherlands.","DOI":"10.1007\/978-3-540-30113-4_7"},{"key":"ref_52","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1109\/54.655185","article-title":"Scheduling for Embedded Real-Time Systems","volume":"15","author":"Balarin","year":"1998","journal-title":"IEEE Des. Test"},{"key":"ref_53","unstructured":"Vyatkin, V.V. (2016, April 01). SESA-Signal\/Net System Analyzer. Available online: http:\/\/www.vyatkin.org\/tools\/modelchekers.html."}],"container-title":["Electronics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2079-9292\/7\/12\/448\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T15:34:43Z","timestamp":1760196883000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2079-9292\/7\/12\/448"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,18]]},"references-count":53,"journal-issue":{"issue":"12","published-online":{"date-parts":[[2018,12]]}},"alternative-id":["electronics7120448"],"URL":"https:\/\/doi.org\/10.3390\/electronics7120448","relation":{},"ISSN":["2079-9292"],"issn-type":[{"type":"electronic","value":"2079-9292"}],"subject":[],"published":{"date-parts":[[2018,12,18]]}}}