An Approach to Performance Specification of Communication Protocols Using Timed Petri Nets
IEEE Transactions on Software Engineering
Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Hierarchical reasoning: simulating complex processes over multiple levels of abstraction
Hierarchical reasoning: simulating complex processes over multiple levels of abstraction
Role of process abstraction in simulation
IEEE Transactions on Systems, Man and Cybernetics
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
A multimodel methodology for qualitative model engineering
ACM Transactions on Modeling and Computer Simulation (TOMACS)
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Meta-modeling systems analysis primitives
Conceptual structures
A framework for distributed object-oriented multimodeling and simulation
Proceedings of the 29th conference on Winter simulation
Modeling execution architecture of software system using colored Petri nets
Proceedings of the 1st international workshop on Software and performance
OOPM/RT: a multimodeling methodology for real-time simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Deriving a queueing network based performance model from UML diagrams
Proceedings of the 2nd international workshop on Software and performance
Combining UML and formal notations for modelling real-time systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Performance analysis of time-enhanced UML diagrams based on stochastic processes
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Guest editorial: Special issue on computer automated multi-paradigm modeling
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Modeling, simulation, sensitivity analysis, and optimization of hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
ICCS '93 Proceedings on Conceptual Graphs for Knowledge Representation
A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
A Compositional Semantics for UML State Machines Aimed at Performance Evaluation
WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Design and Analysis of a Self-Timed Duplex Communication System
IEEE Transactions on Computers
XML-based modeling and simulation: meta-models are models too
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Proceedings of the 35th conference on Winter simulation: driving innovation
Combining Petri Nets and ns-2: A Hybrid Method for Analysis and Simulation
CNSR '06 Proceedings of the 4th Annual Communication Networks and Services Research Conference
Closing the gap between object-oriented modeling of structure and behavior
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
On the compositional properties of UML statechart diagrams
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
An expanded SEMATECH CIM framework for heterogeneous applications integration
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Multiparadigm Modeling for Hybrid Dynamic Systems Using a Petri Net Framework
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
QoS-Aware Web Service Configuration
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A continuous Petri net approach for model predictive control of traffic systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Automatic modeling for performance evaluation of inventory and outbound distribution
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Hi-index | 0.00 |
Electronic messaging protocols such as RosettaNet (RN) automate the asynchronous exchange of business documents between collaborating trading partners over the Internet. Such protocols commonly employ mechanisms such as retries, time-outs, and fault handling to overcome uncertainty in the timing and reliability of message transmission, receipt, and processing. To determine the reliability and performance of such a protocol under varying network and message processing conditions, we have developed reusable patterns for Petri net modeling of these common mechanisms and used them to assemble a timed Petri net simulation that represents the RN standard's behavior. The reusable patterns are derived through translation of the abstract representations provided in the RN standard into an executable model, paving the way for a multimodeling approach for supply chain communications. The resulting stochastic Petri net is simulated to generate performance curves guiding improved protocol reliability.