George J. Tsinarakis

Learn More
This paper presents a Modular Hybrid Timed Petri Net (MHTPN) methodology used to study multi-operational production systems in which parts are used for the production of different product types. This research generalizes work presented in [1] that studied production systems where all parts of the same type were used for the production of a type of final(More)
— Modular hybrid timed Petri Nets are used to model and analyze behavior of random topology multi-operational production systems. Each such system is decomposed into 3 fundamental modules, followed by derivation of their corresponding modular HPN models. The overall system model is obtained via synthesis of the individual modules, satisfying system(More)
Ordinary t-timed modular Petri Nets are used for modeling, analysis, synthesis and performance evaluation of random topology dedicated production systems. Each system is first decomposed into production line, assembly, disassembly and parallel machine modules followed by derivation of their modular Petri Net models. Two sets of modules, generic and(More)
− − − − Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decomposed into production line (transfer chain), assembly, disassembly and parallel machines modules and then their corresponding modular Petri Net models are derived. The overall system PN(More)
—Hybrid timed Petri nets (HTPNs) are derived to study random topology and complexity multioperational production systems where parts of one type follow the same route to produce a final product. Each production system is first decomposed into a fundamental multiproductive machine, multiassembly and multidisassembly modules, followed by derivation of their(More)
—This paper introduces a new general methodology for the modeling and reliability evaluation of small isolated power systems, which include wind turbines, photovoltaics, and diesel generators, based on fluid stochastic Petri nets (FSPNs). The proposed methodology presents two major novelties in FSPN mod-eling, namely: 1) the introduction of a new kind of(More)
Timed Petri Net method introduced in [1] to study multi-operational production systems in which incoming or in-process parts are used for different products production. In particular, the proposed multi-assembly machine module is generalized to describe a machine performing multiple assemblies consisting of different initial parts numbers. The applicability(More)
  • 1