共 50 条
- [21] An ILASP-Based Approach to Repair Petri Nets LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2024, 2025, 15245 : 85 - 97
- [22] Modeling approach for workflow testing based on Petri nets Zheng, C.-Y., 1600, Univ. of Electronic Science and Technology of China (43):
- [23] Composition of product-form Generalized Stochastic Petri Nets: a modular approach EUROPEAN SIMULATION AND MODELLING CONFERENCE 2009, 2009, : 26 - 34
- [24] A Petri nets-based formal approach to multifacetted modelling and simulation of complex production systems LARGE SCALE SYSTEMS: THEORY AND APPLICATIONS 1998 (LSS'98), VOL 1, 1999, : 373 - 379
- [27] Abstract Petri nets as a uniform approach to high-level petri nets RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 241 - 260
- [28] Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets 18TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2014), VOL 1, 2014, : 62 - 71