Skip to main content
SpringerLink
Log in

Synthesis and Analysis of Process Networks by Joint Application of P-graphs and Petri Nets

  • Conference paper
  • First Online:
Application and Theory of Petri Nets and Concurrency (PETRI NETS 2017)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10258))

Abstract

Due to the increasing complexity of human developed systems computer aid plays key role in engineering design involving process synthesis and analysis. The P-graph framework provides effective algorithms implemented in software to synthesize optimal process systems constructed from potential building blocks leading from the available resources to the desired targets. P-graph software computes both the optimal structure and the optimal parameter values of a process system, however, does not provide information on the dynamics of the system synthesized. In contrast Petri nets are tools for simulation and analysis of complex systems’ dynamic behavior. They can model the operation of a preliminarily well-defined process network, but they are inappropriate for synthesizing the optimal process structure.

The present work suggests joint application of the methods mentioned above combining effective synthesis algorithms from the P-graph framework with the modeling strength of Petri nets, illustrated by identification of feasible reaction pathways.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Friedler, F., Tarjan, K., Huang, Y.W., Fan, L.T.: Graph-theoretic approach to process synthesis: axioms and theorems. Chem. Eng. Sci. 47, 1973–1988 (1992)

    Article  Google Scholar 

  2. Liu, J., Fan, L.T., Seib, P., Friedler, F., Bertok, B.: Downstream process synthesis for biochemical production of butanol, ethanol, and acetone from grains: generation of optimal and near-optimal flowsheets with conventional operating units. Biotechnol. Prog. 20, 1518–1527 (2004)

    Article  Google Scholar 

  3. Tan, R.R., Cayamanda, C.D., Aviso, K.B.: P-graph approach to optimal operational adjustment in polygeneration plants under conditions of process inoperability. Appl. Energy 135, 402–406 (2014)

    Article  Google Scholar 

  4. Fan, L.T., Bertok, B., Friedler, F.: A graph-theoretic method to identify candidate mechanisms for deriving the rate law of a catalytic reaction. Comput. Chem. 26, 265–292 (2002)

    Article  Google Scholar 

  5. Rosselló, F., Valiente, G.: Graph transformation in molecular biology. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol. 3393, pp. 116–133. Springer, Heidelberg (2005). doi:10.1007/978-3-540-31847-7_7

    Chapter  Google Scholar 

  6. Xu, X., Zhu, C., Ma, Y., Song, H.: A robust combinatorial approach based on P-graph for superstructure generation in downstream bioprocesses. Braz. J. Chem. Eng. 32(1), 259–267 (2015)

    Article  Google Scholar 

  7. Liu, F., Vilaça, P., Rocha, I., Rocha, M.: Development and application of efficient pathway enumeration algorithms for metabolic engineering applications. Comput. Methods Programs Biomed. 118(2), 134–146 (2015)

    Article  Google Scholar 

  8. Lee, S., Park, S.: Synthesis of mass exchange network using process graph theory. Comput. Chem. Eng. 20, S201–S205 (1996)

    Article  Google Scholar 

  9. Kollmann, R., Maier, S., Shahzad, K., Kretschmer, F., Neugebauer, G., Stoeglehner, G., Thomas, E., Narodoslawsky, M.: Waste water treatment plants as regional energy cells-evaluation of economic and ecologic potentials in Austria. Chem. Eng. Trans. 39, 607–612 (2014)

    Google Scholar 

  10. Halim, I., Srinivasan, R.: Systematic waste minimization in chemical processes. 1. Methodology. Ind. Eng. Chem. Res. 41(2), 196–207 (2002)

    Article  Google Scholar 

  11. Kim, Y., Park, S.: Supply network modeling using process graph theory: a framework for analysis. In: 2006 SICE-ICASE International Joint Conference, pp. 1726–1729. IEEE (2006)

    Google Scholar 

  12. Lam, H.L., Varbanov, P.S., Klemeš, J.J.: Optimisation of regional energy supply chains utilising renewables: P-graph approach. Comput. Chem. Eng. 34(5), 782–792 (2010)

    Article  Google Scholar 

  13. Prajapat, K., Mahatme, A.: Optimisation into energy supply chain with integration of renewable energy sources. Int. J. Technol. Res. Eng. 4(1), 154–157 (2016)

    Google Scholar 

  14. Tick, J., Imreh, C., Kovács, Z.: Business process modeling and the robust PNS problem. Acta Polytech. Hung. 10(6), 193–204 (2013)

    Google Scholar 

  15. Tan, R.R., Benjamin, M.F.D., Cayamanda, C.D., Aviso, K.B., Razon, L.F.: P-graph approach to optimizing crisis operations in an industrial complex. Ind. Eng. Chem. Res. 55(12), 3467–3477 (2015)

    Article  Google Scholar 

  16. Aviso, K.B., Cayamanda, C.D., Solis, F.D.B., Danga, A.M.R., Promentilla, M.A.B., Yu, K.D.S., Tan, R.R.: P-graph approach for GDP-optimal allocation of resources, commodities and capital in economic systems under climate change-induced crisis conditions. J. Cleaner Prod. 92, 308–317 (2015)

    Article  Google Scholar 

  17. Garcia-Ojeda, J.C., Bertok, B., Friedler, F.: Planning evacuation routes with the P-graph framework. Chem. Eng. Trans. 29, 1531–1536 (2012)

    Google Scholar 

  18. Petri, C.A.: Kommunikation mit Automaten. Rheinisch-Westfälisches Institut für Instrumentelle Mathematik an der Universität Bonn, Dissertation, Schriften des IIM (1963)

    Google Scholar 

  19. Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall, New Jersey (1981)

    MATH  Google Scholar 

  20. Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)

    Book  MATH  Google Scholar 

  21. Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77, 541–580 (1989)

    Article  Google Scholar 

  22. Heiner, M., Herajy, M., Liu, F., Rohr, C., Schwarick, M.: Snoopy – a unifying Petri net tool. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 398–407. Springer, Heidelberg (2012). doi:10.1007/978-3-642-31131-4_22

    Chapter  Google Scholar 

  23. Heiner, M., Schwarick, M., Wegener, J.-T.: Charlie – an extensible Petri net analysis tool. In: Devillers, R., Valmari, A. (eds.) PETRI NETS 2015. LNCS, vol. 9115, pp. 200–211. Springer, Cham (2015). doi:10.1007/978-3-319-19488-2_10

    Chapter  Google Scholar 

  24. Visual Object Net++. http://www.r-drath.de/Home/Visual_Object_Net++.html

  25. Gyapay, S., Pataricza, A.: A combination of Petri nets and process network synthesis. Syst. Man Cybern. 2, 1167–1174 (2003)

    Google Scholar 

  26. Gyapay, S., Pataricza, A., Sziray, J., Friedler, F.: Petri-net based optimization of production systems. Intell. Syst. Serv. Mankind 1, 157–167 (2005)

    Google Scholar 

  27. Zapata, M.G., Chacón, R.E., Palacio, B.J.: Intelligent production systems reconfiguration by means of Petri nets and the supervisory control theory. In: Advances in Petri Net Theory and Applications, pp. 75–102 (2010)

    Google Scholar 

  28. Friedler, F., Tarjan, K., Huang, Y.W., Fan, L.T.: Combinatorial algorithms for process synthesis. Comput. Chem. Eng. 16, 313–320 (1992)

    Article  Google Scholar 

  29. Bertok, B., Barany, M., Friedler, F.: Generating and analyzing mathematical programming models of conceptual process design by P-graph software. Ind. Eng. Chem. Res. 52(1), 166–171 (2013)

    Google Scholar 

  30. Software P-graph Studio. http://p-graph.org/downloads

  31. Blätke, M.A.: Tutorial Petri Nets in Systems Biology. Technical report, Otto-von-Guericke University, Magdeburg (2011)

    Google Scholar 

  32. Davis, M.E., Davis, R.J.: Fundamentals of Chemical Reaction Engineering. McGraw-Hill, New York (2003)

    Google Scholar 

  33. Fan, L.T., Yu-Chuan, L., Shafie, S., Bertok, B., Friedler, F.: Exhaustive identification of feasible pathways of the reaction catalyzed by a catalyst with multiactive sites via a highly effective graph-theoretic algorithm: application to ethylene hydrogenation. Ind. Eng. Chem. Res. 51, 2548–2552 (2012)

    Article  Google Scholar 

  34. ZhiWu, L., MengChu, Z.: Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Advances in Industrial Control. Springer, London (2009)

    Google Scholar 

  35. Hideki, Y.: On the Structure of Siphons of Petri Nets. Logics, Algebras and Languages in Computer Science. RIMS Kokyuroku, vol. 1915, pp. 132–141. Kyoto University (2014)

    Google Scholar 

  36. Karatkevich, A.: Dynamic Analysis of Petri Net-Based Discrete Systems. Springer, Heidelberg (2007)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Pázmány Péter Catholic University, Szentkirályi 28, Budapest, 1088, Hungary

    Rozália Lakner & Ferenc Friedler

  2. University of Pannonia, Egyetem 10, Veszprém, 8200, Hungary

    Botond Bertók

Authors
  1. Rozália Lakner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ferenc Friedler
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Botond Bertók
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Rozália Lakner .

Editor information

Editors and Affiliations

  1. Department of Mathematics and Computer Science (MF 7.103), Eindhoven University of Technology, Eindhoven, Noord-Brabant, The Netherlands

    Wil van der Aalst

  2. Carl von Ossietzky Universität Oldenburg, Oldenburg, Germany

    Eike Best

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Lakner, R., Friedler, F., Bertók, B. (2017). Synthesis and Analysis of Process Networks by Joint Application of P-graphs and Petri Nets. In: van der Aalst, W., Best, E. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2017. Lecture Notes in Computer Science(), vol 10258. Springer, Cham. https://doi.org/10.1007/978-3-319-57861-3_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-57861-3_18

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-57860-6

  • Online ISBN: 978-3-319-57861-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation