共 50 条
- [1] Using meta-modelling to process Petri nets models of supply chains [J]. MODELLING AND SIMULATION 2003, 2003, : 513 - 518
- [2] Towards Automated Fault Pruning with Petri Nets [J]. 2009 15TH IEEE INTERNATIONAL ON-LINE TESTING SYMPOSIUM, 2009, : 41 - 46
- [3] Towards Automated fUML Model Verification with Petri Nets [J]. MODELSWARD: PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2019, 2019, : 298 - 306
- [5] Modeling Supply Chains Using Colored Petri Nets: Application in A Phosphate Supply Chain [J]. JOURNAL OF MECHANICS OF CONTINUA AND MATHEMATICAL SCIENCES, 2019, : 266 - 276
- [7] CONSTRUCTION OF REGULAR PETRI NETS [J]. AUTOMATION AND REMOTE CONTROL, 1982, 43 (12) : 1609 - 1616
- [8] On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 50 (10): : 3613 - 3627
- [10] CONSTRUCTION AND ANALYSIS OF SOFTWARE MODELS FOR DIALOG SYSTEMS ON THE BASIS OF PETRI NETS [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1991, (04): : 93 - 96