A Formal Model for Software Project Management
IEEE Transactions on Software Engineering
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
A fuzzy Petri net for knowledge representation and reasoning
Information Processing Letters
Modeling with colored timed object-oriented Petri nets for automated manufacturing systems
Computers and Industrial Engineering
Knowledge engineering: principles and methods
Data & Knowledge Engineering - Special jubilee issue: DKE 25
Design Rules: The Power of Modularity Volume 1
Design Rules: The Power of Modularity Volume 1
Virtual supply chain management system: a decision support system using discrete event simulation
Proceedings of the International Conference of the Manufacturing Value-Chain on Strategic Management of the Manufacturing Value Chain
UML Activity Diagrams as a Workflow Specification Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
An integrated software development methodology based on hierarchical colored Petri Nets
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
Agent-Based Framework for Dynamic Supply Chain Configuration
HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 7 - Volume 7
XML-Based Schema Definition for Support of Interorganizational Workflow
Information Systems Research
Product platform design and customization: Status and promise
Artificial Intelligence for Engineering Design, Analysis and Manufacturing - SPECIAL ISSUE: Platform product development for mass customization
Association Between Supply Chain Glitches and Operating Performance
Management Science
Merging workflows: a new perspective on connecting business processes
Decision Support Systems
A formal modeling approach for supply chain event management
Decision Support Systems
Performance Analysis Using Stochastic Petri Nets
IEEE Transactions on Computers
Robotics and Computer-Integrated Manufacturing
Configuration of dynamic SME supply chains based on ontologies
HoloMAS'05 Proceedings of the Second international conference on Holonic and Multi-Agent Systems for Manufacturing
A brief survey and synthesis of the roles of time in petri nets
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |
Virtual supply chains (VSCs) focus on the development of supply chain network infrastructure in relation to the multitude of product offerings. Recognising the importance of VSCs in pursuing a global manufacturing strategy, many researchers have dedicated themselves to developing VSC models. However, existing VSC modelling formalisms are inadequate to capture the multiple workflows, thus enabling collaboration among supply chain partners. In response to the importance of VSC model development and the limitations of existing VSC models, this study proposes a modelling framework and a new formalism of nested modular Petri nets (NMPNs) to model workflows and collaboration among partners for VSC management. In the framework, an ontology-based semantic model is developed to capture the constituent elements and their relationships. In the NMPN formalism, a number of basic modules are developed as building blocks to design complex supply chains. The behaviours of the supply chain partners and the VSC as a whole are further analysed using various PN analysis techniques. An industrial case of the electric motors is reported to demonstrate the application of the NMPN formalism to develop VSC. It is concluded that the NMPN model facilitates information exchange and collaboration among supply chain partners.