This paper proposes the learning behavioral Petri nets (LBPN) to model learning behavior in web-based environments. Fully useful records of learning behaviors must contain their expended time and corresponding contents. Therefore, the LBPN extends the colored tokens of colored Petri nets to identify learners and learning contents, and raises the time variable to represent diverse learning times...

The interoperability of train control systems is an essential feature for high-speed railways. It must be proven that the on-board system of the train control system has the ability to allow the safe and uninterrupted movement of each line, which accomplishes the specified performance. A third-party interoperability test bench should be built for the customer to test the interoperability of the...

This paper presents an ARENA®-based library for the development of Timed Colored Petri Net (TCPN) models. In this way, the strengths of Petri Nets and Discrete Event Simulation (DES) are combined in a powerful tool for modeling and analysis of systems. The use of the library is illustrated on a cosmetics manufacturing facility in Bogotá (Colombia). This facility was modeled via both TCPNs and a...

This paper describes an approach for modeling the behavioral characteristics of concurrent objectoriented designs using the Petri net formalism. Specifically, this paper describes an approach for integrating colored Petri nets with concurrent object architecture designs created with the COMET method and specified in the Unified Modeling Language (UML). This work is part of an on-going effort to...

This paper deals with simulation of the broadcast authentication protocols using Colored Petri Nets and further optimizations in Matlab environment. Typical application of broadcast authentication protocols can be configurations where only one transmitter with multiple recipients exists (such as message exchange in sensor networks routing protocols, or the leader election process in sensors net...

The evolution of self-adaptive systems poses the problems of their coherence and the resume of the systems’ functioning taking into account the accomplished work. While they are the base of the self-adaptive systems, these two aspects are not considered in the related works. In this paper, we propose a methodological based approach. In such approach, the adaptive system’s evolution is thought a...

We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net (RN). We present analysis methods based on the partial order semantics of RN’s, which allow the generation of partial order traces as counter examples in the presence of programming errors. To that purpose, the behav...

A method for robustness optimization of flexible manufacturing systems is presented which undergo forecasted product plan variations. A configuration of an FMS is modeled by a colored Petri net and the associated transition firing sequence. The robustness optimization of the colored Petri net model is formulated as a multi-objective optimization problem which minimizes production costs under mu...

The product form results recently published for Stochastic Petri Nets are combined with the well known product form results for Queueing Networks in the model formalism of Queueing Petri Nets yielding the class of product form Queueing Petri Nets. This model class includes Stochastic Petri Nets with product form solution and BCMP Queueing Networks as special cases. We introduce an arrival theor...