Concepedia

A business process gap detecting mechanism between information system process flow and internal control flow

Shi‐Ming Huang, David C. Yen, Yu‐Chung Hung, Yen-Ju Zhou, Jing‐Shiuan Hua

Decision Support Systems · 2009 · 32 citations · 29 references

DOI

Concepts

References

29

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

, , +12

Design Science in Information Systems Research1

Hevner, March March, Jinsoo Park et al. · MIS Quarterly · 2004 · 9.4K citations

Design science in information systems research

Alan R. Hevner, Salvatore T. March, Jinsoo Park et al. · MIS Quarterly · 2004 · 7.7K citations

, , +16

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

, , +15

Business process mining: An industrial application

Wil M. P. van der Aalst, Hajo A. Reijers, A.J.M.M. Weijters et al. · Information Systems · 2006 · 775 citations

, , +10