8. Új tudományos eredmények
8.2. A PhD dolgozat témájában megjelent publikációim Lektorált nemzetközi folyóiratcikkek:
1. J. Tick, Z. Kovács, F. Friedler: „Synthesis of Optimal Workflow Structure”
Journal of Universal Computer Science, ISSN 0948-6968, Vol. 12, 2006, No. 9, pp. 1385-1392.
2. J. Tick, J. Fodor: „Some Classes of Binary Operations in Approximate Reasoning” Studies in Informatics and Control, ISSN 1220-1766, Vol. 15, 2006, No. 3, pp. 259-270.
3. J. Tick, J. Fodor: „Fuzzy Implications and Inference Processes”
Computing and Informatics, ISSN 1335-9150, Vol. 24, 2005, No. 6, pp.
591-602.
4. J. Tick: „P-Graph-based Workflow Modelling” Acta Politechnica Hungarica, ISSN 1785-8860, Vol. 4, 2007., No 1, pp. 75-88.
Lektorált nemzetközi konferencia kiadványokban megjelent cikkek:
5. J. Tick: “Fuzzy Control Systems based on Parametric T-Norm Function”
Proceedings of the 4th International Symposium on Applied Computational Intelligence and Informatics, SACI 2007, Timisoara, Romania, May 17-18, 2007, pp. 215-218. ISBN 1-4244-1234-X, IEEE Catalog Number: 07EX1788
6. J. Tick: „Workflow Modelling Based on Process Graph” Proceedings of the 5th Slovakien – Hungarian Joint Symposium on Applied Machine Intelligence, SAMI 2007, Poprad, Slovakia, January 25-26, 2007, pp.
419-426. ISBN 978 963 7154 56 0
7. J. Tick, J. Fodor: „Some Classes of Binary Operations in Approximate Reasoning” Proceedings of the IEEE 9th International Conference on Intelligent Engineering Systems, INES 2005, Cruising on Mediterranean Sea, September 16-19, 2005, pp. 123-128. ISBN 0-7803-9474-7
8. J. Tick, J. Fodor: „Fuzzy Implications and Inference Processes”
Proceedings of the IEEE 3rd International Conference on Computational Cybernetics, ICCC 2005, Hotel Le Victoria, Mauritius, April 13-16, 2005, pp. 105-109. ISBN 963 7154 37 X
9. J. Tick: „Workflow Model Representation Concepts” Proceedings of the 7th International Symposium of Hungarian Researchers on Computational Intelligence, HUCI 2006, Budapest, Hungary, November 24-25, 2006, pp. 329-337. ISBN 963 7154 54X
A felsorolt publikációkra eddig 7 független hivatkozás jelent meg referált nemzetközi konferenciakiadváyokban.
Irodalomjegyzék
[1] The Workflow Management Coalition Specification, Workflow Management Coalition Terminology & Glossary; Document Number WFMC-TC-1011;
Document Status - Issue 3.0; Feb 99.
[2] W.M.P. van der Aalst and A.H.M. ter Hofstede: Verification of Workflow Task Structures: A Petri-net-based approach
[3] S. Jablonski, C. Bussler: Workflow Management: Modelling Concepts, Architecture, and Implementation. International Thomson Computer Press, 1996.
[4] W. M. P. van der Aalst, K. M van Hee: Workflow Management – Models, Methods, and Systems, The MIT Press, Cambridge, Massachusetts, London, England, 2002.
[5] S. A. P. White: Process Modelling Notations and Workflow Patterns, [Online] http://www.omg.org /bp-corner/bp-files/Process_Modelling _Notations.pdf.
[6] R. Eshuis, R. Wieringa: Verification Support for Workflow Design with UML Activity Graphs, in the Proceedings of the 24th International Conference on Software Engineering, Orlando, Florida, 19-25, May, 2002., pp.166 – 176
[7] P. Hruby: Specification of Workflow Management Systems with UML. In the Proceedings of the 1998 OOPSLA Workshop on Implementation and Application of Object-oriented Workflow Management Systems, Vancouver, BC 1998.
[8] W.M.P. van der Aalst: Three Good Reasons for Using a Petri-net-based Workflow Management System. In the Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC'96), pages 179-201, Cambridge, Massachusetts, Nov. 1996.
[9] J. L. Peterson: Petri Net Theory and the Modelling of Systems. Englewood Cliffs: Prentice-Hall, 1981.
[10] Pataricza A. ed.: Formális módszerek az informatikában. Typotex, Budapest 2006.
[11] J. Tick: Workflow Model Representation Concepts, in Proceedings of 7th International Symposium of Hungarian Researchers on Computational Intelligence, HUCI 2006, Budapest, Hungary, November 24-25, 2006, pp.
329-337. ISBN 963 7154 54X
[12] J. M. Jeffry: Using Petri Nets to Introduce Operating System Concepts, in SIGCSE Bulletin Vol. 23, No. 1; Proceedings of the SIGCSE Technical Symposium on Computer Science Education, 1991, San Antonio, TX, USA, pages 324-329. March 1991.
[13] P. Kemper: Logistic Process Models Go Petri Nets, in Proceedings 7.
Workshop Algorithmen und Werkzeuge für Petrinetze, , Koblenz, Germany, 2.-3. October 2000, pp 69-74.
[14] V. Pankratius, W. Stucky: A Formal Foundation for Workflow Composition, Workflow View Definition, and Workflow Normalization based on Petri Nets, Sven Hartmann, Markus Stumptner (Eds.): Conceptual Modelling 2005, Second Asia-Pacific Conference on Conceptual Modelling (APCCM2005), Newcastle, NSW, Australia, January/February 2005. pp 79-88. ISBN 1-920682-25-2
[15] J. Tick: „Workflow Modelling Based on Process Graph” Proceedings of the 5th Slovakien – Hungarian Joint Symposium on Applied Machine Intelligence, SAMI 2007, Poprad, Slovakia, January 25-26, 2007, pp. 419-426. ISBN 978 963 7154 56 0
[16] W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P.
Barros: Workflow Patterns. BETA Working Paper Series, WP 47, Eindhoven University of Technology, Eindhoven, 2000.
[17] W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P.
Barros: Advanced Workflow Patterns, In O. Etzion and P. Scheuermann, editors, 7th International Conference on Cooperative Information Systems (CoopIS 2000), volume 1901 of Lecture Notes in Computer Science, pages 18-29. Springer-Verlag, Berlin, 2000.
[18] K. Jensen: Coloured Petri Nets and the Invariant-Method, Theoretical Computer Science, Volume 14 pp. 317-336, 1981
[19] M. Merz, D. Moldt, K. Müller-Jones, W. Lamersdorf: Workflow Modelling and Execution with Coloured Petri Nets in COSM, in Proceedings of 16th International Conference on Application and Theory of Petri Nets, 1995 [20] D. Liu, J. Wang, S. C. F. Chan, J. Sun, L. Zhang: Modeling workflow
processes with colored Petri nets, Computers in Industry, Vol. 49 , Issue 3 (December 2002) pp. 267 – 281
[21] Y. Qu, C. Lin, J. Wang: Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Nets Models. In: Y. Han, S.
Tai, D. Wikarski (Eds.): Engineering and Deployment of Cooperative Information Systems, First International Conference (EDCIS 2002) Beijing, China, September 17-20, 2002, pp. 1-30 Springer Verlag, LNCS 2480, September 2002.
[22] W.M.P. van der Aalst: Interval Timed Coloured Petri Nets and their Analysis. In M. Ajmone Marsan, ed., Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pp. 453-472.
Springer-Verlag, Berlin, 1993.
[23] F. Friedler, J. B. Varga, L. T. Fan: Decision Mapping: A Tool for Consistent and Complete Decisions in Process Synthesis, Chemical Eng. Sci. Vol. 50, pp. 1755-1768, 1995.
[24] C. Zirpins, K. Schütt, G. Piccinelli: Flexible Workflow Description with Fuzzy Conditions, in Procedings of London Communications Symposium, September 9-10. 2002., London
[25] A. H. Land, A. G. Doig: An Automatic Method for Solving Discrete Programming Problems, Econometria Vol. 28, pp. 497-520, 1960.
[26] F. Friedler, K. Tarjan, Y. W. Huang, and L. T. Fan: Combinatorial Algorithms for Process Synthesis, Computers Chem. Engng, Vol 16, pp.
313-320 (1992).
[27] F. Friedler, K. Tarjan, Y. W. Huang, and L. T. Fan: Graph-Theoretic Approach to Process Synthesis: Axioms and Theorems, Chem. Engng Sci., Vol 47, pp. 1973-1988 (1992).
[28] F. Friedler, K. Tarjan, Y. W. Huang, and L. T. Fan: Graph-Theoretic Approach to Process Synthesis: Polynomial Algorithm for Maximal Structure Generation, Com. Chem. Eng., Vol 17, pp. 929-942 (1993).
[29] F. Friedler, L. T. Fan, and B. Imreh, Process Network Synthesis: Problem Definition, Networks, Vol 28, pp. 119-124 (1998).
[30] F. Friedler, J. B. Varga, E. Fehér, L. T. Fan: Combinatorially Accelerated Branch-and-Bound Method for Solving the MIP Model of Process Network Synthesis, Nonconvex Optimization and Its Applications, In State of the Art in Global Optimization, Computational Methods and Applications, edited by C. A. Floudas and P. M. Pardalos, Kluwer Academic Publisher, Norwell, MA, pp. 609-626, 1996.
[31] P. Bertier, B. Roy: Procédure de résolution pour une classe de problems pouvant avior un caractére combinatorie, Cahiers Cent. D’Etudes Recherche Operationelle, Vol 6., pp. 202-208, 1964.
[32] F. Friedler at all.: Structural Flowsheet Optimization (megjelenés alatt) [33] Bajalinov E., Imreh B.: Operációkutatás, Polygon jegyzettár, Polygon,
Szeged, 2001, ISSN 1417-0590
[34] M. S. Peters , K. D. Timmerhaus, R. E. West: Plant Design and Economics for Chemical Engineers, 5th Edition, 2003., ISBN-13 9780072392661
[35] L.T. Kóczy, D. Tikk: Fuzzy rendszerek, Typotex Kiadó Budapest, 2000, [36] J.C. Fodor, A remark on constructing t-norms, Fuzzy Sets and Systems,
Vol. 41, no. 2, 1991, pp. 195-199.
[37] J.C: Fodor, A new look at fuzzy connectives, Fuzzy Sets and Systems, Vol. 57, no. 2, 1993, pp. 141-148.
[38] L.A. Zadeh, Fuzzy Sets, Information and Control, Vol. 8, no. 3, 1965, pp 338-353
[39] J. C. Fodor, Contrapositive symmetry of fuzzy implications, Fuzzy Sets and Systems Vol. 69, 1995 pp. 141-156.
[40] J. Tick, J. C. Fodor: Some Classes of Binary Operations in Approximate Reasoning, Studies in Informatics and Control, Vol. 15, No. 3, 2006, pp.
259-270.
[41] J. Tick, J. C. Fodor: Fuzzy Implications and Inference Processes, Computing and Informatics, Vol. 24, No. 6, 2005, pp. 591-602.
[42] J. Tick: Fuzzy Control Systems based on Parametric T-Norm Function Proceedings of the 4th International Symposium on Applied Computational Intelligence and Informatics, SACI 2007, Timisoara, Romania, May 17-18, 2007, pp. 215-218. ISBN 1-4244-1234-X, IEEE Catalog Number:
07EX1788
[43] Varga J.: A folyamat-hálózat szintézis feladat kiterjesztése - PhD értekezés, Veszprémi Egyetem, Mérnöki Kar, Műszaki Informatikai Alkalmazások Doktori Program, 2000.
[44] Z. Blázsik, Cs. Holló, B. Imreh, Cs. Imreh, Z. Kovács: On a well solvable class of the PNS problem, Novi Sad Journal of Mathematics, 30, 2000., pp. 21-30.
[45] Cs. Holló, Z. Blázsik, Cs. Imreh, Z. Kovács: On Merging Reduction of the Process Network Synthesis Problem, Acta Cybernetica, 14, 1999., pp.
251-262.
[46] Heckl I.: Szétválasztási hálózatok szintézise: Különböző tulajdonságokon alapuló szétválasztási módszerek egyidejű alkalmazása – PhD értekezés, Veszprémi Egyetem, Műszaki Informatikai Kar, Informatikai Tudományok Doktori Iskola, 2007.
[47] Z. Kovács, F. Friedler, L. T. Fan.: Parametric study of separation network synthesis: extreme properties of optimal structures, Computer & Chemical Engineering, S19, pp. 107-112, 1995.
[48] Z. Kovács, Z. Ercsey, F. Friedler, L. T. Fan.: Separation-network synthesis: global optimum thtough rigorous super-structure, Computer &
Chemical Engineering, S24, pp. 1881-1900, 2000.
[49] B. Bertók, F. Friedler, L. T. Fan: Generation of process Synthesis problems for testing valuating and comparing synthesis methods, PRES’99 (Second Conference on Process Integration, Modelling and Optimisation for Energy Saving and Pollution Reduction) Budapest 1999.
[50] J. Dombi: A general class of fuzzy operators, the De Morgan class of fuzzy operator and fuzziness measures induced by fuzzy operators. Fuzzy Sets and Systems, 8(2) pp. 149–163, 1982.
[51] Imreh B., Imreh Cs.: Kombinatorikus Optimalizálás, Novodat Bt, Budapest, 2005. ISBN 963 9056 36 7
[52] Z. Blázsik, Cs. Holló, Cs. Imreh, Z. Kovács: Heuristics for the PNS problem, Applied Optimization, 59, eds. F. Gianessi, P. Pardalos, T.
Rapcsák, Kluwer Academic Publishers, Dordrecht, Boston, London, 2001., pp. 1-18.
[53] Nagy Á.: Globális optimalizálási algoritmusok PNS feladatok megoldására – PhD értekezés, Veszprémi Egyetem, Műszaki Informatikai Kar, Informatikai Tudományok Doktori Iskola, 2004.
[54] Z. Blázsik, Cs. Holló, B. Imreh, Cs. Imreh, Z. Kovács: On bottleneck and k-sum versions of the Process Network Synthesis problems, Novi Sad Journal of Mathematics, 30, 2000., pp. 11-19.
[55] Bertók B.: Folyamathálózatok struktúráinak algoritmikus szintézise – PhD értekezés, Veszprémi Egyetem, Műszaki Informatikai Kar, Informatikai Tudományok Doktori Iskola, 2003.
[56] Cs. Imreh: A new well-solvable class of PNS problems, Computing, 66, 2001., pp. 289-296.
[57] Cs. Imreh, Z. Kovács: On pollution minimization in the optimization models of process network synthesis, Chemical Engineering Transactions, 7(2), 2005., pp. 565-570.