CSP and Petri Nets are powerful formalisms for the specification and the analysis of concurrent systems. We present an approach to their integration to take advantage of both formalisms. In particular the GSPN class is used to address dependability and real-time aspects. In this paper an algorithmic transformation from a trace-based specification of a concurrent system to a Petri Net model is d...

Purpose – The purpose of this paper is to propose a model of assembly strategy generation and selection for human and robot coordinated (HRC) cell assembly. High-Mix, Low-Volume production in small production manufacturing industry, tends to employ more flexible assembly cells. The authors propose innovative human and robot coordinated assembly cells to solve the problem of persistent growing c...

Maintenance plays a crucial role in the availability of an asset. In particular, when company’s assets are decentralized, logistical aspects directly impact maintenance management and, consequently, productivity. energy generation sector, this scenario is common enterprises and projects which distributed resources (DERs), such as small hydroelectric power plants (SHPPs), considered. Hence, obje...

of Thesis Presented to the Graduate School of the University of Puerto Rico in Partial Fulfillment of the Requirements for the Degree of Master of Science PETRI NET WORKFLOW MODELING FOR DIGITAL PUBLISHING MEASURING QUANTITATIVE DEPENDABILITY ATTRIBUTES By Gustavo Adolfo Chaparro-Baquero July 2006 Chair: Nayda G. Santiago, Ph.D Major Department: Electrical and Computer Engineering This work des...

Generalised Stochastic Petri Nets (GSPNs) are a widely used modeling formalism in the field of performance and dependability analysis. Their semantics and analysis is restricted to “well-defined”, i.e., confusion-free, nets. Recently, a new GSPN semantics has been defined that covers confused nets and for confusion-free nets is equivalent to the existing GSPN semantics. The key is the usage of ...

In this paper, we investigate dynamic modeling tcchniques for analyzing supply chain networks using generalized stochastic Petri nets (GSPN). The customer order arrival process is assumed to be Poisson and the service processes at the various facilities of the supply chain are assumed to be exponential. Our modeling method accounts for both the logistics process as well as the interface process...

The increasing complexity of new-generation systems which take into account interactions between hardware and software components, particularly the fault-tolerant systems, raises major preoccupations in various critical application domains.These preoccupations concern principally the modeling and analysis requirements of these systems.Thus, designers are interested in the verification of critic...

Mobile agents have a number of interesting features such as creation, disposal of agents, execution of services at various network nodes, migration to other network nodes and communication with other agents. Such features are related to the performance area. Based on some examples, scenarios, or case studies,Petri netmodels (ordinaryPetri net, coloredPetri net or predicate/transitionnet),mathem...

Passage time measures specification and computation for Generalized Stochastic Petri Net models have been faced in the literature from different points of view. In particular three aspects have been developed: (1) how to select a specific token (called the tagged token) and measure the distribution of the time employed from an entry to an exit point in a subnet; (2) how to specify in a flexible...