共 50 条
- [1] Case study logistics: Flexible modeling of business processes using Algebraic Higher-Order Nets PETRI NET TECHNOLOGY FOR COMMUNICATION-BASED SYSTEMS, 2003, 2472 : 145 - 160
- [2] Algebraic higher-order nets: Graphs and Petri nets as tokens RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 2003, 2755 : 253 - 267
- [4] Modeling and Vibration Suppression of Flexible Spacecraft Using Higher-Order Sandwich Panel Theory INTERNATIONAL JOURNAL OF ACOUSTICS AND VIBRATION, 2017, 22 (02): : 143 - 150
- [5] Formalizing higher-order mobile embedded business processes with binding bigraphs COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2008, 5052 : 83 - 99
- [6] Run time modification of algebraic high level nets and algebraic higher order nets using folding and unfolding construction COMMUNICATION-BASED SYSTEMS, 2000, : 55 - 72
- [7] Nuclear Detection Using Higher-Order Topic Modeling 2012 IEEE INTERNATIONAL CONFERENCE ON TECHNOLOGIES FOR HOMELAND SECURITY, 2012, : 637 - 642
- [8] A synchronous semantics of higher-order processes for modeling reconfigurable reactive systems FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1998, 1530 : 78 - 89