Models that are suitable for planning are not always easy to specify. In this paper we investigate the conversion of Petri nets into factored Markov decision processes: the former are relatively easy to build while the latter are adequate for policy generation. To represent probabilities that are needed when planning under uncertainty, we introduce factored Petri nets; we then describe the conv...

It is shown that the steady-state behavior of a class of timed colored Petri nets can be analyzed using the concept of throughput and simple rules of operational analysis. Since such analysis is based on the average values of firing times rather than firing time distribution functions, the same approach ca be applied to a variety of net models. Throughput analysis is based on S t N C t U d prop...

This paper presents a bridging framework for combining the results of various models of human-computer interaction. It views a system as a composite of interacting subsystems, and describes how those subsystems must be structured to permit compositions in which responsibility for global behavior can be appropriately ascribed. The paper presents a human-device example (wrist watch) and develops ...

The purpose of this paper is to analyze the overall equipment efficiency (OEE) of the machines in the production process, with the objective of measure the quality and efficiency of the process and the used resources (machines). For this analysis the present work shows the Colored Petri Nets for the modeling the flow data in Factory Information System (FIS). The obtained net represents the nece...

This paper deals with a formal method for the study of the backward reachability analysis applied on Colored Petri Nets (CPN). The proposed method proceeds in two steps : 1) it translates CPN to terms of the Multiplicative Intuitionistic Linear Logic (MILL); 2) it proves sequents by constructing proof trees. The translation from CPN to MILL must respect some properties such as the semantic asso...

Grid computing refers to the deployment of a widely distributed architecture for the execution of computationally challenging tasks. The grid provides a set of distributed resources which can be used for “computing on demand” or for constructing a “virtual supercomputer”. Recently, several researchers started to look at the relation between workflow management and grid computing. The flow of wo...

This paper focuses on the development of a methodology within a software environment for automating the rule based implementation of specifications of integrated manufacturing information systems. The specifications are initially formulated in a naturallanguage and subsequently represented in terms of a graphical representation by the system designer. A new graphical representation tool is base...