Research on Smart Contract Optimization Method on Blockchain

G.B. Lee, Zandong Han, Reduction method for reachability analysis of Petri nets Tsinghua Science & Technology. ,vol. 8, pp. 231- 235 ,(2003)

T. Murata, Petri nets: Properties, analysis and applications Proceedings of the IEEE. ,vol. 77, pp. 541- 580 ,(1989) , 10.1109/5.24143

Ingo Weber, Xiwei Xu, Régis Riveret, Guido Governatori, Alexander Ponomarev, Jan Mendling, Untrusted Business Process Monitoring and Execution Using Blockchain Lecture Notes in Computer Science. pp. 329- 347 ,(2016) , 10.1007/978-3-319-45348-4_19

Ting Chen, Xiaoqi Li, Xiapu Luo, Xiaosong Zhang, Under-optimized smart contracts devour your money ieee international conference on software analysis evolution and reengineering. pp. 442- 446 ,(2017) , 10.1109/SANER.2017.7884650

Jan Mendling, Ingo Weber, Wil Van Der Aalst, Jan Vom Brocke, Cristina Cabanillas, Florian Daniel, Søren Debois, Claudio Di Ciccio, Marlon Dumas, Schahram Dustdar, Avigdor Gal, Luciano García-Bañuelos, Guido Governatori, Richard Hull, Marcello La Rosa, Henrik Leopold, Frank Leymann, Jan Recker, Manfred Reichert, Hajo A Reijers, Stefanie Rinderle-Ma, Andreas Solti, Michael Rosemann, Stefan Schulte, Munindar P Singh, Tijs Slaats, Mark Staples, Barbara Weber, Matthias Weidlich, Mathias Weske, Xiwei Xu, Liming Zhu, None, Blockchains for Business Process Management - Challenges and Opportunities acm transactions on management information systems. ,vol. 9, pp. 4- ,(2018) , 10.1145/3183367

Paul Rimba, An Binh Tran, Ingo Weber, Mark Staples, Alexander Ponomarev, Xiwei Xu, Comparing Blockchain and Cloud Services for Business Process Execution 2017 IEEE International Conference on Software Architecture (ICSA). pp. 257- 260 ,(2017) , 10.1109/ICSA.2017.44