共 50 条
- [41] Simulation for intra- and inter-organizational business process modelling Informatica (Ljubljana), 1997, 21 (04): : 613 - 620
- [43] Modelling and simulation techniques for business process analysis and re-engineering International Journal of Simulation: Systems, Science and Technology, 2006, 7 (4-5): : 1 - 8
- [44] Business Process Verification using a Formal Compositional Approach and Timed Automata PROCEEDINGS OF THE 2013 XXXIX LATIN AMERICAN COMPUTING CONFERENCE (CLEI), 2013,
- [46] Business Process Management - Process Modelling VISION 2020: INNOVATION MANAGEMENT, DEVELOPMENT SUSTAINABILITY, AND COMPETITIVE ECONOMIC GROWTH, 2016, VOLS I - VII, 2016, : 3229 - 3235
- [47] Formal modelling and simulation of train control systems using Petri nets FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1867 - 1867
- [49] Evaluating Digital Library Search Systems by using Formal Process Modelling 2023 ACM/IEEE JOINT CONFERENCE ON DIGITAL LIBRARIES, JCDL, 2023, : 1 - 12
- [50] Value process and business process in e-business modelling Challenges of Expanding Internet: E-Commerce, E-Business, and E-Government, 2005, 189 : 1 - 15