Determinization of timed Petri nets behaviors

International audience

Discovering characteristics of stochastic collections of process models

Process models in organizational collections are typically modeled by the same team and using the same conventions. As such, these models share many characteristic features like size range, type and frequency of errors. In most cases merely small samples of these collections are available due to e.g. the sensitive information they contain. Because of their sizes, these samples may not provide an accurate representation of the characteristics of the originating collection. This paper deals with the problem of constructing collections of process models, in the form of Petri nets, from small samples of a collection for accurate estimations of the characteristics of this collection. Given a small sample of process models drawn from a real-life collection, we mine a set of generation parameters that we use to generate arbitrary-large collections that feature the same characteristics of the original collection. In this way we can estimate the characteristics of the original collection on the generated collections.We extensively evaluate the quality of our technique on various sample datasets drawn from both research and industry.

Reduction rules for reset/inhibitor nets

Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. These extensions can be used to model cancellation and blocking. A reset arc allows a transition to remove all tokens from a certain place when the transition fires. An inhibitor arc can stop a transition from being enabled if the place contains one or more tokens. While reset/inhibitor nets increase the expressive power of Petri nets, they also result in increased complexity of analysis techniques. One way of speeding up Petri net analysis is to apply reduction rules. Unfortunately, many of the rules defined for classical Petri nets do not hold in the presence of reset and/or inhibitor arcs. Moreover, new rules can be added. This is the first paper systematically presenting a comprehensive set of reduction rules for reset/inhibitor nets. These rules are liveness and boundedness preserving and are able to dramatically reduce models and their state spaces. It can be observed that most of the modeling languages used in practice have features related to cancellation and blocking. Therefore, this work is highly relevant for all kinds of application areas where analysis is currently intractable.

The 4C spectrum of fundamental behavioral relations for concurrent systems

The design of concurrent software systems, in particular process-aware information systems, involves behavioral modeling at various stages. Recently, approaches to behavioral analysis of such systems have been based on declarative abstractions defined as sets of behavioral relations. However, these relations are typically defined in an ad-hoc manner. In this paper, we address the lack of a systematic exploration of the fundamental relations that can be used to capture the behavior of concurrent systems, i.e., co-occurrence, conflict, causality, and concurrency. Besides the definition of the spectrum of behavioral relations, which we refer to as the 4C spectrum, we also show that our relations give rise to implication lattices. We further provide operationalizations of the proposed relations, starting by proposing techniques for computing relations in unlabeled systems, which are then lifted to become applicable in the context of labeled systems, i.e., systems in which state transitions have semantic annotations. Finally, we report on experimental results on efficiency of the proposed computations.

Application of participatory rural appraisal (PRA) techniques in the verification of fisheries data and trend on Lake Kainji

After several years of surveys on the Kainji Lake fisheries activities by the Nigerian German Kainji Lake Fish promotion Project (KLFPP) trends regarding catches, yield and other parameter begin to emerge. However, it became obvious that some of the data were not quite as accurate as they were believed to be. Looking at the different editions of the statistical bulletin of Kainji Lake, concerning one given fisheries parameter, sometimes it is possible to reveal inconsistencies and unexplained trends. As compared to the survey method, PRA is primarily for analysis of differences in local phenomenon and processes. Therefore, PRA was used as a complementary tool to enhance the knowledge on issues like fisher women, entrepreneurs, gear ownership structure, mode of operation by owners of large gear number, preference in the use of twine and nylon gill nets, and reasons for misinformation on the number of fishing equipment owned by entrepreneurs, which cannot be done with frame survey. PRA techniques like timeline, mapping, seasonal calendar, transect walk and key informant interviews were utilized in the study process

Comparative study on the catch efficiency and size selection of entangling nets in Lake Kainji, Nigeria

The relative catch performance and selectively of gillnets and trammel nets were investigated in 12 sampling stations in Lake Kainji, Nigeria. 3 types of nets with dimensions 50mx3m were constructed using 76mm and 178mm meshsizes for two gillnets, 76mm and 178mm meshsizes for the lint and ar mour nets of the trammelnets respectively. All the nets were randomly ganged together to form a fleet of nine nets each, and were set twice in each of the 12 stations which gave a total of 24 fishing operations. A total of 365 fish weighing 88.9kg and belonging to 16 different species were caught in all the nets. The trammelnet had the highest catch by number and weight constituting 60% and 69.22% of the total catch and weight respectively with a relative species Diversity Index of 0.82. This was followed by 76mm gillnet which constituted 38.63% by number, 28.09% by weight, 0.69 relative Species Diversity Index. The 178mm gillnet had the least catch of 1.37% and 2.9% by number and weight respectively with 0.25 relative Species Diversity Index. There was significant difference (P<0.05) in the number and weight of fish caught in the different nets. The minimum selection length for these species caught were the same for each net. The trammel net had a wider selection range that skewed to the right, a higher modal and median length indicating larger individual species being entangled in the net

Selectivity of gill nets for Hilsa toli and Pampus argentus

Fishing conducted off Saurashtra coast during 1971-74 with 27 units of nylon gill nets using 210/2/3, 210/3/3 and 210/4/3 twines with 51, 57 and 63 mm bar mesh and 0.70, 0 60 and 0.50 hanging coefficients have helped in standardizing an optimum gear for exploitation of commercial size group of Hilsa toli and Pampus argenteus. Gill nets of 210/2/3 with 51 mm bar mesh and 0.60 hanging coefficient for Hilsa toli and 210/2/3 with 63 mm bar and 0.60 hanging coefficient for Pampus argenteus are recommended for the commercial exploitation of these two species of fishes.

Effect of colour on the catch of gill nets

The effect of white, green, blue and yellow coloured drift gill nets on their catch with respect to Scomberomorus guttatus (Schneider), Scomberomorus commerson (Lacepede), Scomberomorus lineolatus (Cuvier), Parastomateus niger (Bloch), Euthynnus ajjinis (Cantor) and sharks Carcharius melanopterus is discussed. White nets were more effective for S. guttatus while the coloured ones caught more of P. niger. Blue had no significant effect for sharks. In the case of S. lineolatus, S. commerson and E. affinis no preference to colour was noted.

Effect of weight of otter boards on the horizontal opening of trawl nets

The paper gives briefly the experiments carried out to determine the optimum weight of otter board that should be used for a trawl gear for better efficiency.

Selectivity of gill nets for Scomberomorus commersoni

Selectivity of gill nets for S. commersoni was studied with nets made of 4 different mesh sizes fabricated with 4 different specifications of nylon twines. Fishing operations were conducted off Cochin through the fishing seasons 1968-72. The commercially significant size group of S. commersoni was found to fall in the length range of 850-950 mm. The optimum mesh size required for the capture of this group of S. commersoni was estimated as 76 mm. bar in nylon twine 210/12/3. The relationship between the twine size and mesh size was also worked out.