Journal articles: 'Réseaux de Petri Lots'

1

Paludetto, Mario, Jérôme Delatour, and Adel Benzina. "UML et réseaux de Petri." Techniques et sciences informatiques 23, no. 4 (April 30, 2004): 543–67. http://dx.doi.org/10.3166/tsi.23.543-567.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bitam, Melha, and Hassane Alla. "L'outil réseaux de Petri hybrides dans les réseaux de communication." Journal Européen des Systèmes Automatisés 40, no. 1 (February 28, 2006): 73–94. http://dx.doi.org/10.3166/jesa.40.73-94.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Feuillade, Guillaume, and Sophie Pinchinat. "Spécifications modales de réseaux de Petri." Journal Européen des Systèmes Automatisés 39, no. 1-3 (April 30, 2005): 287–301. http://dx.doi.org/10.3166/jesa.39.287-301.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Peres, Florent, Beranrd Berthomieu, and François Vernadat. "Composer des réseaux de Petri temporels." Journal Européen des Systèmes Automatisés 43, no. 7-9 (November 10, 2009): 1001–15. http://dx.doi.org/10.3166/jesa.43.1001-1015.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Lime, Didier, Claude Martinez, and Olivier H. Roux. "Coercition temporelle de réseaux de Petri." Journal Européen des Systèmes Automatisés 45, no. 1-3 (April 30, 2011): 13–28. http://dx.doi.org/10.3166/jesa.45.13-28.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Komenda, Jan, Sébastien Lahaye, and Jean-Louis Boismond. "Séquentialisation du comportement de réseaux de Petri temporisés." Journal Européen des Systèmes Automatisés 47, no. 1-3 (May 30, 2013): 139–54. http://dx.doi.org/10.3166/jesa.47.139-154.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Torres, Lucile, and Claudia Frydman. "Vérification et validation de modèles CommonKADS par réseaux de Petri." Revue d'intelligence artificielle 15, no. 2 (June 15, 2001): 247–76. http://dx.doi.org/10.3166/ria.15.247-276.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Lefevre, Dimitri. "Sensibilité paramétrique des réseaux de Petri continus à vitesse variable." Journal Européen des Systèmes Automatisés 37, no. 1 (January 30, 2003): 83–108. http://dx.doi.org/10.3166/jesa.37.83-108.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Tolba, Chérif, Dimitri Lefebvre, Philippe Thomas, and Abdellah El Moudni. "Commande des feux de signalisation par réseaux de Petri hybrides." Journal Européen des Systèmes Automatisés 42, no. 5 (July 1, 2008): 579–612. http://dx.doi.org/10.3166/jesa.42.579-612.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Haro, Christophe, Patrick Martineau, and Christian Proust. "Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée." RAIRO - Operations Research 38, no. 1 (January 2004): 39–62. http://dx.doi.org/10.1051/ro:2004013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

El Touati, Yamen, Nedji Ben Hadj Alouane, and Moez Yeddes. "Réseau de Petri temporel étendu. Proposition d'un nouveau modèle basé sur les réseaux de Petri temporels." Journal Européen des Systèmes Automatisés 39, no. 1-3 (April 30, 2005): 207–22. http://dx.doi.org/10.3166/jesa.39.207-222.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Lefebvre, Dimitri, and Catherine Delherm. "Diagnostic des défauts pour les SDED modélisés par réseaux de Petri." Journal Européen des Systèmes Automatisés 39, no. 5-6 (June 30, 2005): 713–38. http://dx.doi.org/10.3166/jesa.39.713-738.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Bonhomme, Patrice. "Synthèse d’un observateur pour réseaux de Petri p-temporels partiellement observables." Journal Européen des Systèmes Automatisés 47, no. 1-3 (May 30, 2013): 243–57. http://dx.doi.org/10.3166/jesa.47.243-257.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Ghaffari, Asma. "Les réseaux de Petri pour le contrôle des systèmes à événements discrets." Journal Européen des Systèmes Automatisés 37, no. 10 (December 30, 2003): 1317–22. http://dx.doi.org/10.3166/jesa.37.1317-1322.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Berthomieu, Bernard, Didier Lime, Olivier Henri Roux, and François Vernadat. "Problèmes d'accessibilité et espaces d'états abstraits des réseaux de Petri temporels à chronomètres." Journal Européen des Systèmes Automatisés 39, no. 1-3 (April 30, 2005): 223–38. http://dx.doi.org/10.3166/jesa.39.223-238.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Ioualalen, M., and A. Aissani. "Les Symétries dans les Réseaux de Petri Stochastiques (RdPS) Construction du Graphe Symbolique." RAIRO - Operations Research 34, no. 2 (April 2000): 237–49. http://dx.doi.org/10.1051/ro:2000113.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Ganty, Pierre, Gilles Geeraerts, Jean-François Raskin, and Laurent Van Begin. "Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents." Techniques et sciences informatiques 28, no. 9 (November 30, 2009): 1107–42. http://dx.doi.org/10.3166/tsi.28.1107-1142.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Huang, YongLiang, Thomas Bourdeaud'hyu, Armand Toguyeni, and Pierre-Alain Yvars. "Approches incrémentales pour les réseaux de Petri temporisés fondées sur la programmation par contraintes." Journal Européen des Systèmes Automatisés 47, no. 1-3 (May 30, 2013): 77–92. http://dx.doi.org/10.3166/jesa.47.77-92.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

OZDEN, Eren, and Ibrahim DEMIR. "After-Ripening Increased Seed Germination in Commercial Aubergine Seed Lots." Bulletin of University of Agricultural Sciences and Veterinary Medicine Cluj-Napoca. Horticulture 75, no. 1 (May 19, 2018): 53. http://dx.doi.org/10.15835/buasmvcn-hort:002017.

Full text

Abstract:

This work tested the effect of after-ripening on seed germination of thirteen commercial seed lots from four open pollinated cultivars (Aydın Siyahı, Kemer, Pala and Topan) of aubergine (Solanum melongena L.). Seeds were stored (after-ripened) at 5 °C with at 9% seed moisture content over 14 days in the dark in hermetic conditions. After-ripened seeds were tested at 25 °C and 20/30 °C (16/8 h) together with a control at 20/30 °C for 14 days in petri dishes. Results indicated that after-ripening significantly (p < 0.05) increased total germination in six lots and normal germination in eight lots out of thirteen when germination was tested at 25 °C. Increases were also observed eleven lots in total and thirteen in normal germination percentages out of thirteen when seeds were tested at 20/30 °C. Cumulative germination showed that after-ripened seeds germinated faster than control either germinated at 25 or 20/30 °C. Results indicated that aubergine seed germination can be increased through after-ripening treatment which shows the presence of seed dormancy in this species.

APA, Harvard, Vancouver, ISO, and other styles

20

Mnichowicz, Margaret, Janice Coons, and John McGrady. "SEASON OF SEED DEVELOPMENT AFFECTS GERMINATION OF LETTUCE SEED WITH HIGH TEMPERATURE." HortScience 25, no. 9 (September 1990): 1148G—1149. http://dx.doi.org/10.21273/hortsci.25.9.1148.

Full text

Abstract:

Lettuce (Lactuca sativa L.) seed germination is inhibited at temperature higher than 25-30C. The extent of this inhibition varies between seed lots. Our objective was to determine how the season during which seed develops affects the ability of seeds to germinate and establish a stand at high temperatures. Lettuce seed, `Empire', was produced during 2 summers and 2 winters (1988 and 1989) in Yuma, AZ. These seeds were germinated at 20, 25, 30 or 35C in petri dishes or in growth pouches to determine percent germination or root lengths, respectively. Electrical conductivity of seed leachates was measured. Field emergence of seeds was tested with early fall plantings in Yuma, AZ. Percent seed germination was greater and root lengths were longer for the seeds produced in summer than in winter. Conductivity will be correlated with relative tolerance to high temperatures of the different seed lots. In the field, percent emergence of seed lots from summer and winter averaged 60% and 38%, respectively.

APA, Harvard, Vancouver, ISO, and other styles

21

Mnichowicz, Margaret, Janice Coons, and John McGrady. "SEASON OF SEED DEVELOPMENT AFFECTS GERMINATION OF LETTUCE SEED WITH HIGH TEMPERATURE." HortScience 25, no. 9 (September 1990): 1148g—1149. http://dx.doi.org/10.21273/hortsci.25.9.1148g.

Full text

Abstract:

Lettuce (Lactuca sativa L.) seed germination is inhibited at temperature higher than 25-30C. The extent of this inhibition varies between seed lots. Our objective was to determine how the season during which seed develops affects the ability of seeds to germinate and establish a stand at high temperatures. Lettuce seed, `Empire', was produced during 2 summers and 2 winters (1988 and 1989) in Yuma, AZ. These seeds were germinated at 20, 25, 30 or 35C in petri dishes or in growth pouches to determine percent germination or root lengths, respectively. Electrical conductivity of seed leachates was measured. Field emergence of seeds was tested with early fall plantings in Yuma, AZ. Percent seed germination was greater and root lengths were longer for the seeds produced in summer than in winter. Conductivity will be correlated with relative tolerance to high temperatures of the different seed lots. In the field, percent emergence of seed lots from summer and winter averaged 60% and 38%, respectively.

APA, Harvard, Vancouver, ISO, and other styles

22

Brodal, Guro, Heidi Røsok Bye, Eleonora Høst, Martin Pettersson, Inger Sundheim Fløistad, Øyvind Meland Edvardsen, and Venche Talgø. "Management of seed-borne Sirococcus conigenus on Norway spruce by fungicide seed treatment." Seed Science and Technology 48, no. 1 (April 30, 2020): 33–39. http://dx.doi.org/10.15258/sst.2020.48.1.05.

Full text

Abstract:

Seedling blight caused by Sirococcus conigenus was recently reported on Norway spruce (Picea abies) from Norwegian forest nurseries. The inoculum source was found to be infected seeds. In a Petri dish assay, the fungicide fludioxonil + difenoconazole was, among other fungicides, found to inhibit mycelial growth of S. conigenus. This fungicide is formulated as a seed treatment and registered for cereals in Norway, and was chosen for an experiment to control S. conigenus on Norway spruce seeds. Samples from two naturally infected seed lots were treated with half, normal and double dose of the recommended rate for cereals. Together with untreated control samples, treated seeds were tested in the laboratory for efficacy against S. conigenus on potato dextrose agar (PDA) in Petri dishes and for germination potential on filter paper. We also recorded seed emergence in soil of one of the seed lots in a growth chamber and in a forest nursery. On agar, the fungus was not detected after seed treatment with fludioxonil + difenoconazole at any of the three dosages, but it was present in the control. Germination on filter paper and emergence in soil was high in both treated and untreated control seeds with no signs of detrimental effects from any of the three fungicide doses.

APA, Harvard, Vancouver, ISO, and other styles

23

Jard, Claude, Thomas Chatain, and Pierre Bourhis. "Diagnostic temporel dans les systèmes répartis à l'aide de dépliages de réseaux de Petri temporels." Journal Européen des Systèmes Automatisés 39, no. 1-3 (April 30, 2005): 351–65. http://dx.doi.org/10.3166/jesa.39.351-365.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Bonhomme, Patrice. "Vers une nouvelle méthode de synthèse de commande pour les réseaux de Petri p-temporels." Journal Européen des Systèmes Automatisés 44, no. 2 (February 2010): 161–80. http://dx.doi.org/10.3166/jesa.44.161-180.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Wan, Zi Cheng, Huan Zhou, Yi Ping Deng, and Rong Li. "Hybrid Modeling Method Based on FSPN for Sensor Networks." Applied Mechanics and Materials 341-342 (July 2013): 1197–204. http://dx.doi.org/10.4028/www.scientific.net/amm.341-342.1197.

Full text

Abstract:

Sensor networks play a central role in the Internet of things, which attracts lots of attentions recently. Mathematical models are of much help to explore intricate scheduling on the sensor node or interactions between different sensor nodes. Although many existing approaches have shown that the sensor network behaves like a hybrid system, where discrete character and continuous character exist together, few of them have attempted to consider two characters together. In this paper, we propose a novel quantitative modeling framework based on Fluid Stochastic Petri nets (FSPNs), and provide comprehensive theoretical analysis to a typical sensor network example. Our modeling framework, which combines advantages of both Stochastic Petri Nets (SPNs) and Hybrid Functional Petri Nets (HFPNs), reflects the hybrid nature of sensor networks, and at the same time eases the problem of state space explosion. The modeling mechanism proposed in this paper constructs sensor network models that are comprised of both stochastic processes and fluid flow approximation technique. From the evaluation, it's shown that the new method performs well.

APA, Harvard, Vancouver, ISO, and other styles

26

Camberato, James J., and S. Bruce Martin. "Salinity Slows Germination of Rough Bluegrass." HortScience 39, no. 2 (April 2004): 394–97. http://dx.doi.org/10.21273/hortsci.39.2.394.

Full text

Abstract:

Bermudagrass (Cynodon sp.) greens are overseeded annually with rough bluegrass (Poa trivialis L.) in the coastal southeastern United States, where irrigation water is often saline. Salinity may slow seed germination and delay turf establishment. Cultivar and seed lot differences in sensitivity to salinity may be substantial. Our objective was to determine the effects of salinity on germination of commercially available rough bluegrass cultivars and seed lots. To accomplish this, we examined the effects of salinity (0, 1.8, 3.4, and 5.0 dS·m-1 established with NaCl in deionized water) on germination of 33 cultivars/seed lots of rough bluegrass in vitro. Fifty seeds of each cultivar/seed lot were placed on pre-moistened germination paper in petri dishes, sealed with parafilm, and placed in growth chambers with 12-hours light/12-hours dark at 20/10 °C, respectively. Germination was scored from 4 to 25 days after seed placement. Rough bluegrass germination rate varied among cultivars/seed lots, ranging from less than three seeds/day to nearly seven seeds/day. Salinity slowed rough bluegrass germination rate from about six seeds/day at 0 dS·m-1 to five seeds/day at 5 dS·m-1. Increasing salinity reduced early germination of some cultivar/seed lots more than that of others. Impact was substantial in three cultivar/seed lots, where early germination at 5.0 dS·m-1 was less than 15% of that at 0 dS·m-1. For most cultivar/seed lots, the reduction in early germination with salinity at 5.0 dS·m-1 was about 50% of that at 0 dS·m-1. Final germination was reduced only 3% by increasing salinity. In view of differences in germination rate and response to salinity among seed lots of rough bluegrass cultivars, we suggest the planting of multiple cultivars and seed lots of rough bluegrass to insure rapid establishment.

APA, Harvard, Vancouver, ISO, and other styles

27

Troncale, Sylvie, Fariza Tahi, David Campard, and Jean-Pierre Vannier. "Modélisation et simulation de la régulation de l'hématopoïèse précoce grâce aux réseaux de Petri hybrides fonctionnels." Techniques et sciences informatiques 26, no. 1-2 (April 4, 2007): 99–122. http://dx.doi.org/10.3166/tsi.26.99-122.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Haddad, S., P. Moreaux, and G. Chiola. "Distributions de Cox et Hase-type dans les réseaux de Petri stochastiques : une méthode efficace de résolution." RAIRO - Operations Research 32, no. 3 (1998): 289–323. http://dx.doi.org/10.1051/ro/1998320302891.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Tian, Xiao Qing, Cai Xia Liu, and Feng Qi Wei. "CPN-Based Modeling and Analysis of Shared Multi-Channel Cache CMP Architecture." Applied Mechanics and Materials 321-324 (June 2013): 898–903. http://dx.doi.org/10.4028/www.scientific.net/amm.321-324.898.

Full text

Abstract:

As a formal modeling and analysis method, colored petri nets (CPN) fits to construct formal model for software/hardware system with lots of communication and parallel/synchronous sharing behavior. Then behavior analysis of system function and performance based on the CPN model can be unfolded to verify the system feasibility. The CPN model of a kind of new CMP architecture shared multi-channel L2 Cache (AUMCC) is constructed in this article. Processing simulating of instruction set is deeply penetrated on the AUMCC CPN model, and analysis based on simulating results well verifies the feasibility of AUMCC architecture.

APA, Harvard, Vancouver, ISO, and other styles

30

Mostefaoui, Farida, and Julie Vachon. "Approche basée sur les réseaux de Petri pour la vérification de la composition dans les systèmes par aspects." L'objet 12, no. 2-3 (September 30, 2006): 157–82. http://dx.doi.org/10.3166/objet.12.2-3.157-182.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Oakley, Kay, Robert Geneve, Sharon Kester, and Patchara Wonprasaid. "573 Seed Vigor Testing for Small-seeded Flower Species using Computer-aided Image Analysis." HortScience 34, no. 3 (June 1999): 545C—545. http://dx.doi.org/10.21273/hortsci.34.3.545c.

Full text

Abstract:

Standardized seed vigor tests must be developed for greenhouse-grown flower species. Current vigor tests used to evaluate large-seeded agronomic crops are generally not useful for evaluating smaller-seeded flower species. One alternative is to use radicle length in seedlings grown under controlled environments as an indicator of seed vigor. For that purpose, a seed vigor test was developed that uses digital images taken using a flat bed scanner to measure radicle length in small-seeded flower species. A novel, cellulose substrate was used for germinating seeds. It provided similar moisture-holding properties to standard germination blotters used by commercial seed analysts, but is clear. This has allowed for quick image acquisition without removing seedlings from the petri dish. Correlations were made between seedling growth (radicle length, total seedling length, and total seedling area) with other vigor tests (saturated salts accelerated aging) and greenhouse plug flat emergence. For several seed lots of impatiens that varied in initial seed quality, radicle length after 4 days showed good correlations (>R2 = 0.79) with other measures of seed vigor for describing seed quality. This system is an improvement over other attempts to use computer-aided assessment of digital images because it provides digital images that do not vary due to external lighting; it uses software that can evaluate radicle length in a petri dish assay that does not require a slant-board for straight radicle growth; it relies on standard germination technics used by every seed lab; it uses a clear substrate to replace the opaque blotter to allow digital images to be taken within the petri dish; and accurate measurements of seedling parts is performed in under 2 min per petri dish.

APA, Harvard, Vancouver, ISO, and other styles

32

Cantliffe, D. J. "Benzyladenine in the Priming Solution Reduces Thermodormancy of Lettuce Seeds." HortTechnology 1, no. 1 (October 1991): 95–97. http://dx.doi.org/10.21273/horttech.1.1.95.

Full text

Abstract:

When lettuce seeds are imbibed and subjected to high temperature for periods of 72 h or more, dormancy known as thermodormaney is induced. Priming of three cultivars of lettuce (Lactuca sativa L.) seeds in 1% (w/v) K3 P O4 for 20 h in the dark reduced thermodormaney. Addition of 100 mg 6-benzyladenine (BA)/liter to the priming solution increased germination in petri dishes at 35C in `Green Lakes' from 65% in seeds that were primed without BA, to 92% when BA was added to the priming solution. In `South Bay' these percentages were 24% and 86%, respectively. Seedling emergence was improved in other lots of `Green Lakes' and `Montello' using soilless mix.

APA, Harvard, Vancouver, ISO, and other styles

33

Grey, Timothy L., John P. Beasley, Theodore M. Webster, and Charles Y. Chen. "Peanut Seed Vigor Evaluation Using a Thermal Gradient." International Journal of Agronomy 2011 (2011): 1–7. http://dx.doi.org/10.1155/2011/202341.

Full text

Abstract:

Experiments conducted from 2007 to 2009 evaluated germination of 11 peanut runner-type cultivars. Germination was evaluated in Petridishes incubated over a thermal gradient ranging from 14 to 30°C at 1.0 C increments. Beginning 24 hr after seeding, peanut was counted as germinated when radicles were greater than 5 mm long, with removal each day. Germination was counted daily for seven days after seeding. Growing-degree day (GDD) accumulation for each temperature increment was calculated based on daily mean temperature for that Petri dish. Two indices were obtained from a logistic growth curve used to elucidate seed germination by cultivar: (1) maximum indices of germination and (2) GDD value at 80% germination (Germ80), an indication of seed vigor the lower the Germ80value, the greater the seed lot vigor. Based on the two indices, seed lots “AT 3081R”, “AP-3”, “GA-06G”, and “Carver” had the strongest seed vigor (Germ8026 to 47 GDD) and a high maximum incidence of germination rate (80 to 94%). Seed lots of “C99-R”, “Georgia-01R”, “Georgia-02C”, and “Georgia-03L” had inconsistent seed performance, failing to achieve 80% germination in at least two of three years.

APA, Harvard, Vancouver, ISO, and other styles

34

Lejri, Ons, and Moncef Tagina. "Proposition d'une extension des réseaux de Petri automodifiants pour la modélisation des systèmes hybrides évolutifs en vue de leur reconfiguration." Journal Européen des Systèmes Automatisés 44, no. 2 (February 2010): 115–34. http://dx.doi.org/10.3166/jesa.44.115-134.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Nleya, T., R. A. Ball, and A. Vandenberg. "Germination of common bean under constant and alternating cool temperatures." Canadian Journal of Plant Science 85, no. 3 (July 1, 2005): 577–85. http://dx.doi.org/10.4141/p04-151.

Full text

Abstract:

In western Canada, common bean is often sown in cool soils, which causes poor germination and uneven stand establishment. A major goal in bean breeding is to find and assess cold-tolerant parental material. Seed germination and emergence of 12 diverse common bean genotypes, which included adapted Prairie cultivars, were evaluated in petri dishes under 15 alternating and five constant temperature regimes. Cumulative heat hours to maximum germination were calculated for all 12 genotypes using a base temperature of 9°C. Six genotypes were tested for emergence in soil in growth chambers at two temperature and three soil moisture regimes. In petri tests, optimal temperatures for bean germination were 16/16°C (day/night temperature) or higher. G8823, G9345 and AC Polaris germinated below 10°C, and all genotypes germinated at 12°C or higher. Rapid germinating genotypes with >0.09 cumulative heat hours per percentage germination were G8823, G9345 and AC Polaris, which took the least number of cumulative heat hours to germinate (<1100 heat hours). CDC Pinnacle was the highest representative of the medium germination rate group, having 1170 heat hours to germination. Emergence and plant development in soil were decreased by low moisture availability or cooler temperatures. Genotypes with >80% emergence in soil were CDC Crocus, CDC Nighthawk, CDC Pinnacle and CDC Polar Bear. Differing genotype rankings in soil versus petri dishes demonstrated that germination in controlled cool conditions may still be complicated by dormancy, moisture availability, seed coat thickness, imbibition rate and differing viabilities of seed lots. G8823, G9345 and AC Polaris are promising genotypes for developing cultivars that can germinate under cool temperatures (<10°C) at the highest rate. Key words: Phaseolus vulgaris, common bean, germination, temperature

APA, Harvard, Vancouver, ISO, and other styles

36

ALAM, M. Z., T. STUCHBURY, and ROBERT E. L. NAYLOR. "EARLY IDENTIFICATION OF SALT TOLERANT GENOTYPES OF RICE (ORYZA SATIVA L.) USING CONTROLLED DETERIORATION." Experimental Agriculture 42, no. 1 (January 2006): 65–77. http://dx.doi.org/10.1017/s0014479705003030.

Full text

Abstract:

The response of germination and early seedling growth to levels of salinity (0, 50, 100, 150, 200 and 250 mM NaCl) were examined in single seed lots of ten modern rice genotypes. Unaged and deteriorated rice seeds were germinated in rolled paper towels and in Petri dishes. Initial seed quality, final germination, germination rate and early seedling growth were assessed. The samples of the rice genotypes differed in their initial seed quality (measured in terms of Ki). The effect of deterioration varied depending upon the initial seed quality and the severity of the treatment imposed. Ageing (using the technique of controlled deterioration, CD) for up to 24 h had no effect on final germination levels. Although CD for 30 h only reduced final germination slightly, ageing for 36 or 48 h reduced it greatly. Controlled deterioration for 36 h or longer reduced the final length and the rate of extension of both the plumule and radicle. Combining information about germination in salt solution with that about seed quality enabled a distinction to be made between varieties which performed poorly because they were genetically salt-susceptible from those which germinated poorly due to poor seed quality. It is argued that the seed vigour of seed lots used in genotype evaluation should be assessed in order to avoid discarding potentially useful genotypes because of poor physiological seed quality.

APA, Harvard, Vancouver, ISO, and other styles

37

Bonhomme, Patrice. "Nouvelle approche de synthèse de commande pour les réseaux de Petri p-temporels. Une méthode basée sur la notion d’instants de tir." Techniques et sciences informatiques 31, no. 5 (May 30, 2012): 571–98. http://dx.doi.org/10.3166/tsi.31.571-598.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Dosmann, Michael Sean, and Jeffery K. Iles. "Cold Stratification Improves Germination of Katsura Tree." HortScience 32, no. 3 (June 1997): 447F—448. http://dx.doi.org/10.21273/hortsci.32.3.447f.

Full text

Abstract:

Katsura tree (Cercidiphyllum japonicum Sieb. & Zucc.), an ornamental tree native to Japan and China, is valued for its broad pyramidal form and apricot-yellow fall leaf color. Another species, Cercidiphyllum magnificum (Nakai) Nakai, exists, but is rarely encountered outside of wild populations, except in a pendulous form. Propagation of katsura is by seed germination and softwood cuttings, although little information exists in the scientific literature regarding either method of propagation. To determine conditions for optimal seed germination, we subjected C. japonicum seed to a factorial combination of moist stratification and exposure to light. Two seed lots were obtained from the Arnold Arboretum of Harvard Univ., accessions 1150-67 and 882. Half of the seeds in each lot were moist stratified in petri dishes on filter paper for 8 days at 3.5°C. All seeds then were germinated at 25°C with either a daily photoperiod of 15 hr or complete darkness. Those samples not exposed to light were placed in a light-tight container. Germination was defined as the average percentage of seeds per treatment combination that showed the emergence of a radicle. Unstratified seeds germinated at 44.7% over both seed lots. Moist stratification increased germination to 92.0% and 56.7% for 1150-67 and 882, respectively. Light did not affect germination for either seed lot. Optimal seed germination conditions for C. magnificum will be determined in future studies. We have shown that moist stratification of katsura seeds improves germination and recommend this method as a means of promoting seed germination.

APA, Harvard, Vancouver, ISO, and other styles

39

Pérès, F., S. Verron, J. P. Dejean, and D. Averbuch. "Formalisation d'une approche structurée de modélisation d'un système industriel complexe par Réseaux de Petri : application aux systèmes de production pétroliers offshore Ultra Grands Fonds." Oil & Gas Science and Technology - Revue de l'IFP 62, no. 3 (May 2007): 375–89. http://dx.doi.org/10.2516/ogst:2007030.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Pańka, Dariusz. "Infestation of tall fescue (Festuca arundinacea Schreb.) with Neotyphodium coenophialum and its influence on growth of chosen microorganisms in vitro." Acta Agrobotanica 58, no. 2 (2012): 369–80. http://dx.doi.org/10.5586/aa.2005.063.

Full text

Abstract:

Occurrence of Neotyphodium coenophialum in tall fescue cultivars cultivated in Poland and determination an endophyte inhibition effect on mycelium growth of chosen microorganisms in vitro were investigated. Seventeen seed lots of 11 cultivars of tall fescue were examined. The endophyte mycelium was dyed with bengal rose and microscopically examined to detect N. coenophialum. Occurrence of endophyte was checked with PCR method. Influence of endophyte on growth of 15 microorganisms was established in the laboratory conditions on Petri dishes with PDA medium at 10, 20 and 30°C. Neotyphodium coenophialum occurred only in two seed lots, 'Barrocco' - 42% and Terros - 2%. Living mycelium of endophyte was isolated only from 'Barrocco'. The highest mycelium growth inhibition of Bipolaris sorokiniana, Fusarium avenaceum, F. equiseti, Microdochium nivale and Gaeumannomyces graminis by endophyte at 30°C was recorded. The highest width of growth inhibition zone (4mm) was detected for the last pathogen. Mycelium growth of B. sorokiniana and M. nivale was not inhibited at 10°C, and for F. avenaceum at 10 and 20°C.

APA, Harvard, Vancouver, ISO, and other styles

41

Anteneh, Melkam, Abebe Atilaw, and Taye Kufa. "Investigation of Coffee Seed Physical Purity, Seed Health and Effect of Storage Time on Viability." Malaysian Journal of Medical and Biological Research 1, no. 2 (December 31, 2014): 85–96. http://dx.doi.org/10.18034/mjmbr.v1i2.380.

Full text

Abstract:

High seed quality is essential for optimum stand establishment in Coffee. As a result, it is necessary to have seed physical, germination percent, physiological and health tests that permit rapid, objective and accurate evaluation of seed quality. This study evaluated the effect of storage time on physical, physiological, germination percent and health quality of seed lots of five coffee varieties obtained from research and commercial company. This test is conducted under ideal laboratory conditions and in the nursery site. After sample collected pure, pea-beery, cracked and shriveled seeds were measured before determining standard germination and vigor. The highest pea berry was recorded at JARC on the variety 75227(18.63), and the lowest was at LCP on the variety 74165 (8.81). In parchment coffee seed, the percentage of physical defects during seed processing affects germination and seedling viability. The standard germination test in the moisten-soft paper continues to be the most common measure of seed quality in coffee. In addition, this test requires more than two weeks before a determination of seed germination was possible. Ideally, seed quality tests efficiently differentiate between poor and good seed lots in a short period. There was high germination percent in the first planting time were recorded after one month storage than other two consecutive storage time. Normal germinated seedling reduced with in increases seed storage time and the incidence of seed/ soil -born pathogenic fungi. The germination test of seeds from laboratory under petri-dish with moist soft paper and at the nursery site also had low vigour and did not produce suitable seedlings for planting evaluated after three month storage. If after one month storage time of coffee seeds germinated more than older seeds (as our study indicates), then seedlings derived from younger may have a competitive advantage over seedlings derived from older one. In the present study, pre-emergence seedling mortality (Rotten) was greater in third month storage than in first month old seeds. This mortality partially accounted for the lower germination percentage in three month old seeds because only seeds that emerged above the soil surface were considered to have germinated is an indication of reduced vigor. In my study, in coffee seeds, seedlings from relatively low stored seeds were generally better able to withstand environmental stress than those from old seeds. Coffee seed sample from two sources stored safely to optimize coffee seedling production at the appropriate time and season with ideal climatic conditions for planting in the field.

APA, Harvard, Vancouver, ISO, and other styles

42

Torres-González, Alba Marina. "Seed dormancy and germination in tree tomato (Solanum betaceum Cav.) and lulo (Solanum quitoense Lam.)." Revista Colombiana de Ciencias Hortícolas 13, no. 3 (September 1, 2019): 336–47. http://dx.doi.org/10.17584/rcch.2019v13i3.10130.

Full text

Abstract:

Tree tomato (Solanum betaceum Cav.) and lulo (Solanum quitoense Lam.) fruits enjoy high consumption and commercialization in Colombia. Seed dormancy has been reported for both species, and their propagation depends on seeds. The optimal germination conditions for these species are not well known. Thus, the temperature regimes for the seed germination were based on the mean, minimum and maximum temperatures of the locations where the crops were grown. Germination tests were carried out in four replicates of 50 seeds each on Petri dishes for both crops. Six temperature conditions and four pre-treatments were evaluated to break the seed dormancy for several seed lots. S. betaceum and S. quitoese exhibited shallow seed dormancy, and less dormancy was detected in the commercialized cultivars, such as S. betaceum cv. Tamarillo and S. quitoense (i.e. common lulo). For both species, the most recently harvested seeds had more germination capacity than the seeds stored for several months at a low seed moisture content (4%) and low storage temperature (20°C). The seed dormancy of S. betaceum and S. quitoense was broken successfully by applying GA3 (2,000 mg L-1) or alternating temperatures (e.g. 25/15°C). However, both treatments at the same time did not provide an additional benefit to promote seed germination. Potassium nitrate (1%) promoted seed germination in the S. betaceum seeds at both constant and alternating temperatures and in the S. quitoense seeds, only when alternating temperatures were applied. The application of GA3 increased the rate of germination more than KNO3 for both species at all temperatures. Using any of these treatments would work well to break seed dormancy in S. betaceum and S. quitoense, and the most convenient option could be selected depending upon budget and other resources.

APA, Harvard, Vancouver, ISO, and other styles

43

Tosi, L., R. Buonaurio, and C. Cappelli. "Occurrence of Anthracnose Caused by Colletotrichum malvarum on Althaea officinalis in Italy." Plant Disease 88, no. 4 (April 2004): 425. http://dx.doi.org/10.1094/pdis.2004.88.4.425b.

Full text

Abstract:

The cultivation of medicinal plants is increasing in some areas of central Italy where the climate is suitable for organic farming and the production of high-quality plant products. During April and May 2003, plants of Althaea officinalis L. at the seedling stage (two-to-four true leaves) maintained in unheated greenhouses before their transplantation to open fields showed an unusual foliar disease. Necrotic leaf spots of variable shape and size were followed by a rapid wilting of leaves that frequently resulted in a blight of the young plants. Small leaf pieces showing symptoms were sampled, surface treated in 0.1% HgCl2 for 30 s, rinsed twice in sterile water, placed on potato dextrose agar (PDA) (pH 5.5) in petri dishes, and incubated for 7 days at 25 ± 2°C. Colletotrichum malvarum (Braun & Casp.) Southworth (1,2) was consistently recovered from affected tissues. The fungus produced dark colonies with whitish aerial mycelium and acervuli containing hyaline, cylindrical conidia (14 to 25 × 3 to 6 μm) on PDA. The pathogenicity of four fungal isolates was tested by inoculating two, true leaves of 10 plants (A. officinalis) with a conidial suspension (5 × 105 conidia ml-1) from a 10-day-old culture. Plants sprayed with water served as controls. All seedlings were placed in a greenhouse at 24± 2°C under natural light conditions and covered with plastic bags for the first 24 h. Each pathogenicity test was repeated one time. After 5 to 7 days, the inoculated seedlings showed small necrotic leaf spots identical to those observed under natural conditions. Affected leaf areas rapidly enlarged and within a few days, the young plants wilted. No symptoms appeared on the noninoculated controls. C. malvarum was consistently reisolated from the symptomatic test seedlings, whereas the fungus was never isolated from control plants. Standard seed health methods (agar plate and blotter) carried out on samples from the same seed lots used for the unheated greenhouse trials were negative for the presence of the pathogen. The occurrence of anthracnose may be attributed to windborne conidia of C. malvarum coming from infected wild malvaceae species and cultivated hosts grown in open fields in the neighborhood of seedling greenhouses. To our knowledge, this is the first report of C. malvarum on A. officinalis in Italy. References: (1) W. Brandenburger. Page 386 in: Parasitische pilze an gefäbpflanzen in Europa. Fisher Verlag, Stuttgart, Germany, 1985. (2) B. C. Sutton. The genus Glomerella and its anamoroph Colletotrichum. Pages 1–26 in: Colletotrichum, Biology, Pathology and Control. J. A. Bailey and M. J. Jeger eds. CAB International, Wallingford, U.K., 1992.

APA, Harvard, Vancouver, ISO, and other styles

44

Lazarotto, M., M. F. B. Muniz, R. F. dos Santos, E. Blume, R. Harakawa, and F. A. Hamann. "First Report of Fusarium equiseti Associated on Pecan (Carya illinoinensis) Seeds in Brazil." Plant Disease 98, no. 6 (June 2014): 847. http://dx.doi.org/10.1094/pdis-09-13-0976-pdn.

Full text

Abstract:

Pecan [Carya illinoinensis (Wangenh.) K. Koch] is an important producing nut tree that has been intensively cultivated in the state of Rio Grande do Sul (Brazil) in recent decades. This species is commonly grown in association with other crops and more often with cattle or sheep. An elevated incidence of the fungal genus Fusarium was observed during a quality control seed assay of pecan seeds obtained from orchards in the city of Anta Gorda (28°53′54.7″ S, 52°01′59.9″ W). Concomitantly, seedlings of this species, cultivated in a nursery, showed foliar necrosis, wilt, and root rot. The fungus was thereafter isolated from the seeds (from original seeds lots) and subcultured from single spores. Cultures were purified in order to perform pathogenicity tests. The isolated Fusarium sp. was increased on autoclaved wet corn kernels that were incubated for 14 days (1), and then were mixed with commercial substrate (sphagnum turf, expanded vermiculite, dolomitic limestone, gypsum, and NPK fertilizer) in plastic trays (capacity 7 L), with drainage holes. Twenty seeds were sowed and 90 days later, evaluations were undertaken. Forty percent of the seedlings presented symptoms, i.e., foliar necrosis and wilt owing to root rot. Fusarium sp. was re-isolated from the affected roots by transferring hyphal tips to potato dextrose agar (PDA) and carnation leaf agar (CLA) medium in petri dishes in order to identify the species morphologically. On PDA, the colony pigmentation was yellowish brown and the aerial mycelium was whitish to peach; macroconidia were relatively long and narrow (31.75 × 4.02 μm), with 5 septa on average, and whip-like bent apical cells (2). Chlamydospores were not observed on PDA or CLA. Primer pairs ITS1 and ITS4 (3) and EF1-T and EF1-1567R (4) were employed to amplify the internal transcribed spacer (ITS) and elongation factor-1α (TEF 1-α) regions, respectively. The resulting DNA sequences showed 99% for ITS and 98% for TEF 1-α similarity with Fusarium equiseti (Corda) Sacc. and phylogenetic analysis grouped it with sequences of this species. The consensus sequence was submitted to GenBank and received the accession numbers KC810063 (ITS) and KF601580 (TEF 1-α). The pathogen was re-isolated on PDA and CLA substrate in order to complete Koch's postulates. The pathogenicity test was repeated with the same conditions described before and the results were confirmed. No symptoms were observed on the control seedlings. This species is considered a weak parasite (2); however, it has been reported causing wilt in Coffea arabica in Brazil (5). This pathogen could cause serious damage and high losses to seedling in commercial nurseries. Besides that, it could also carry the disease to the field causing further damage on established plants. To our knowledge, this is the first to report of F. equiseti causing foliar necrosis and wilt on C. illinoinensis in Brazil. References: (1) L. H. Klingelfuss et al. Fitopatol. Brasil. 32:1, 2007. (2) W. Gerlach and H. Nirenberg. The Genus Fusarium – a Pictorial Atlas. Biologische Bundesanstalt für Land- und Forstwirtschaft, Braunschweig, Germany, 1982. (3) T. J. White et al. Page 315 in: PCR Protocols: A Guide to Methods and Applications, Academic Press, San Diego, CA, 1990. (4) S. A. Rehner and E. A. Buckley. Mycologia 97:84, 2005. (5) L. H. Pfenning and M. F. Martins. Page 283 in: Simpósio de Pesquisa dos Cafés do Brasil, 2000.

APA, Harvard, Vancouver, ISO, and other styles

45

Yang, H. C., J. M. Stewart, and G. L. Hartman. "First Report of Colletotrichum chlorophyti Infecting Soybean Seed in Arkansas, United States." Plant Disease 97, no. 11 (November 2013): 1510. http://dx.doi.org/10.1094/pdis-04-13-0441-pdn.

Full text

Abstract:

Colletotrichum chlorophyti was first reported in the United States in 2009 on soybean petioles (Glycine max [L.] Merr.) collected from Alabama, Illinois, and Mississippi (4). This species has not been reported to infect seed, unlike other Colletotrichum spp. (2). From the 2012 growing season, soybean seeds obtained from the National Agricultural Statistics Service representing 151 seed lots from growers' fields in 11 states were assayed by plating them on acidified potato dextrose agar (APDA). Before plating, seeds were surface disinfected by sequential immersion in 50% ethanol for 30 s, 20% commercial bleach for 1 min, two 1 min rinses in sterile distilled water, and kept at 25°C in the dark for 1 week. Infected seeds from one seed lot from Arkansas produced colonies similar to Colletotrichum spp. This seed lot was visually examined and divided into asymptomatic or discolored symptomatic seeds. Because of the limited number of seeds in the seed lot, 20 seeds that asymptomatic and 40 seeds that appeared symptomatic were assayed on APDA as previously described. Asymptomatic seeds did not produce any dark fungal colonies. Among the symptomatic seeds, five appeared to have flecked light gray seed coats with some larger grayish to black and irregular spots where cracks were sometimes formed, and they developed small black fungal masses or became entirely dark on the surface. Five fungal isolates were obtained from these infected seeds. On APDA, the isolates initially produced white to pink smooth-margined colonies, turned black with age, produced no aerial growth, and filled a 9 cm diameter petri dish within 10 days. DNA of one isolate was extracted for PCR and sequencing of the ITS region with ITS1 and ITS4 primers (3). From the BLAST analysis, the sequence was 100% identical to C. chlorophyti isolates, IMI 103806, and CBS 142.79 (Accession Nos. GU227894 and GU227895, respectively). To test for pathogenicity, the fungus was sub-cultured on APDA and eight APDA discs (4 mm diameter) were set into 50 ml potato dextrose broth inside a 250-ml flask and shook at a speed of 100 rpm at room temperature (24 ± 1°C) for 10 days. The mycelium was then weighed, fragmented with a blender, and resuspended in sterile distilled water to a final concentration of ~40 mg/ml. The mycelial suspension was sprayed on soybean seedlings of cv. Williams 82 (two plants/pot) at growth stage V1 to V2 until runoff. The inoculated plants were kept in a moist chamber (>90% relative humidity) for 48 h at 24 ± 1°C in the dark, and then transferred to normal plant growing conditions. At 5 days post-inoculation (dpi), the leaves showed typical symptoms caused by C. chlorophyti, including necrosis on the edge of young leaves and petioles, formation of irregular dark brown lesions, and leaves became scrolled (4). Setose acervuli, curved conidia with tapered ends (21.4 ± 1.1 × 3.8 ± 0.3 μm), and chlamydospores were found on the detached symptomatic leaves after 12 dpi. No perithecia formed. The morphology matched the description of C. chlorophyti (1,4). To our knowledge, this is the first report of C. chlorophyti in Arkansas and the first time that this species has been reported infecting seed of any plant. References: (1) S. Chandra and R. N. Tandon. Curr. Sci. 34:565, 1965. (2) G. L. Hartman et al. Page 13 in: Compendium of Soybean Diseases, APS Press, St. Paul, MN, 1999. (3) T. J. White et al. Page 315 in: PCR Protocols. A Guide to Methods and Applications. Academic Press, San Diego, CA, 1990. (4) H.-C. Yang et al. Plant Dis. 96:1699, 2012.

APA, Harvard, Vancouver, ISO, and other styles

46

Jiang, Qianli, Hao Huang, Yongjun Zhou, Qiuxia Zhang, Sun Xiaowei, Minchun Zhang, Yanyan Ye, et al. "Magic-TT (Magnetism-induced cell target transplantation) Enhanced the CD45+ Cells Target Migration, in Situ Proliferation and Promotion of Hematopoietic Recovery after Transplantation." Blood 126, no. 23 (December 3, 2015): 5404. http://dx.doi.org/10.1182/blood.v126.23.5404.5404.

Full text

Abstract:

Abstract Background: In our previous work (56th ASH poster, No.2416), we developed a novel cell transplantation system named MagIC-TT. The purpose of this study is to explore whether the MagIC-TT can promote hematopoietic recovery in the mice experiment and illustrate it¡¯s mechanism both in vivo and in vitro. Methods: 1) In vivo study: With regard to auto-transplantation, the C57BL/6 CD45-GFP cells were sorted and magnetized from the bone marrow of C57BL/6-Tg(CAG-EGFP) mice. Forty C57BL/6 female mice (2 groups, twenty mice each group) were transplanted into the femur cavity with or without magnetic field (M or W group), after 7.5Gy irradiation. Following transplantation, the survival of mice, hematopoiesis as well as GFP+ cells in different tissues, such as peripheral blood, bone marrow, liver, spleen, thymus and lung etc. were observed. Femurs of recipients were decalcified with our own derived semi-solid decalcification (SSD) technique to illustrate the distribution, proliferation of donor cells and the relationship between recipients and donor cells. Allo-transplantation: The C57BL/6 CD45-GFP cells were injected into the femur cavity of FVB mRFP transgenic mice (sponsored by Prof. XH Wu, Fudan University, Shanghai, China) after 7.5Gy irradiation. GVHD was observed in addition to what was done in auto-transplantation. 2) In vitro study: Magnetized CD45-GFP cells and non-magnetized BMSC-RFPs were cultured respectively or co-cultured with or without magnetic field (M or W group). The magnetic field was added to the top or the bottom of cell culture dish. Cell morphology, cell proliferation, cell viability, as well as cell migration, transwell migration and matrigel migration assays induced by magnetism were studied. The interaction of CD45-GFP cells and BMSC-RFPs was observed by confocal microscope, electronic microscope, immunohistochemical staining, western blot, real-time PCR and deep sequencing. Results: 1) In vivo study: During the first few hours after transplantation, lots of magnetized CD45-GFP cells resided within the femur and knee joints in M group while few in W group. Many GFP cells migrated into the lung soon after transplantation in the W group (P =0.046), followed by other organs such as kidney and skin (Fig.1). FACS showed that more GFP+ cells resided within the target femurs than the controls (Table.1). With SSD, frozen sections, confocal microscope and Lightsheet Z.1 Microimage (Carl Zeiss); transplanted GFP+ cells and their micro-environment were all well demonstrated (Fig.1). On removal of magnetic field, CD45-GFP cells were observed to migrate into the spleen, kidney, gut and other organs, showing the slow release of target transplanted cells from femur. GVHD on skin and lung etc. were observed in C57BL/6 to FVB allogenic transplanted mice (Fig. 1). The hematopoietic recovery in M group occurs much earlier than the controls, especially for the platelets, 10.67d ¡À 1.53d vs 14.75d ¡À 2.06d (M vs W group, P =0.035). 2) In vitro study: With the help of MagIC-TT, CD45-GFP cells can migrate through the matrigel and transwell membranes much more efficiently. The magnetized CD45-GFP cells advance toward the inner roof of petri dish in the culture medium, and attach to BMSC-RFP growing on the inner roof of dish and proliferate in the niche composed by BMSC-RFP under the effect of magnetic field (Fig.2). Conclusion: MagIC-TT could enhance CD45+ cells target migration, improve stem cell homing and proliferation efficiency, as well as promotion hematopoietic recovery in vivo. This study would shed light on current Hematological Stem Cell Transplantation (HSCT) and other cell therapies. Table 1. The FACS results of femurs of CD45-GFP cells injected into C57 mice, at 0.5h, 24h and 72h respectively. group 0.5h£¨%£© p 24h£¨%£© p 72h£¨%£© p *LC **RT *LC **RT *LC **RT BMM 0.017¡À0.006 0.497¡À0.151 0.040 0.080¡À0.026 1.573¡À0.508 0.030 0.190¡À0.139 1.960¡À0.809 0.049 BMW 0.017¡À0.012 0.050¡À0.017 0.184 0.013¡À0.006 0.027¡À0.015 0.184 0.023¡À0.015 0.320¡À0.434 0.368 P 1.000 0.007 0.013 0.006 0.108 0.036 *LC: Control femur without magnetic field (W group); **RT: Treated femur with magnetic field (M group). Disclosures No relevant conflicts of interest to declare.

APA, Harvard, Vancouver, ISO, and other styles

47

Sogbohossou, M., and D. Delfieu. "Dépliage des réseaux de Petri temporels à modèle sous-jacent non sauf." Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées Volume 14 - 2011 - Special... (October 16, 2011). http://dx.doi.org/10.46298/arima.1950.

Full text

Abstract:

International audience For the formal verification of the concurrent or communicating dynamic systems modeled with Petri nets, the method of the unfolding is used to cope with the well-known problem of the state explosion. An extension of the method to the non safe time Petri nets is presented. The obtained unfolding is simply a prefix of that from the underlying ordinary Petri net to the time Petri net. For a certain class of time Petri nets, a finite prefix capturing the state space and the timed language ensues from the calculation of a finite set of finite processes with valid timings. The quantitative temporal constraints associated with these processes can serve to validate more effectively the temporal specifications of a hard real-time system. Pour la vérification formelle des systèmes dynamiques concurrents ou coopérants modélisés à l’aide des réseaux de Petri, la méthode du dépliage est utilisée pour endiguer le phénomène bien connu de l’explosion combinatoire. Une extension de la méthode aux réseaux de Petri temporels à modèle sous-jacent non sauf est présentée. Le dépliage obtenu est simplement un préfixe de celui du réseau de Petri ordinaire sous-jacent au réseau temporel. Pour une certaine classe de réseaux temporels, un préfixe fini capturant l’espace d’état et le langage temporisé découle du calcul d’un ensemble fini de processus finis réalisables. Les contraintes temporelles quantitatives associées à ces processus peuvent servir à valider plus efficacement les spécifications temporelles d’un système temps réel dur.

APA, Harvard, Vancouver, ISO, and other styles

48

Chouchane, Amira, and Philippe Declerck. "Diagnostic de réseaux de Petri partiellement observables avec indicateurs algébriques." Génie industriel et productique 2, no. 1 (2019). http://dx.doi.org/10.21494/iste.op.2019.0403.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Sogbohossou, Médésu, Medesu Sogbohossou, Antoine Vianou, Nabil Gmati, Eric Badouel, and Bruce Watson. "ε-TPN: definition of a Time Petri Net formalism simulating the behaviour of the timed grafcets." Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées Volume 31 - 2019 - CARI 2018 (December 3, 2019). http://dx.doi.org/10.46298/arima.5492.

Full text

Abstract:

To allow a formal verification of timed GRAFCET models, many authors proposed to translate them into formal and well-reputed languages such as timed automata or Time Petri nets (TPN). Thus, the work presented in [Sogbohossou, Vianou, Formal modeling of grafcets with Time Petri nets, IEEE Transactions on Control Systems Technology, 23(5)(2015)] concerns the TPN formalism: the resulting TPN of the translation, called here ε-TPN, integrates some infinitesimal delays (ε) to simulate the synchronous semantics of the grafcet. The first goal of this paper is to specify a formal operational semantics for an ε-TPN to amend the previous one: especially, priority is introduced here between two defined categories of the ε-TPN transitions, in order to respect strictly the synchronous hypothesis. The second goal is to provide how to build the finite state space abstraction resulting from the new definitions. Afin de permettre la vérification formelle des grafcets temporisés, plusieurs auteurs ont proposé de les traduire dans des langages formels de réputation tels que les automates temporisés et les réseaux de Petri temporels (TPN). Ainsi, les travaux présentés dans [Sogbohossou, Vianou, Formal modeling of grafcets with Time Petri nets, IEEE Transactions on Control Systems Technology, 23(5)(2015)] concernent le formalisme des TPN: le réseau résultant de la traduction, dénommé ici ε-TPN, intègre des délais infinitésimaux (ε) pour simuler la sémantique synchrone du grafcet. Le premier objectif de cet article est de définir la sémantique opérationnelle d'un ε-TPN afin d'améliorer l'ancienne définition: spécifiquement, une priorité est introduite ici entre deux catégories de transitions définies pour ces réseaux, dans l'optique de respecter rigoureusement l'hypothèse synchrone. Le second but est de fournir une méthode de calcul de l'espace d'état fini qui découle des nouvelles définitions.

APA, Harvard, Vancouver, ISO, and other styles

50

Ji, Yuqing, Dongxiu Ou, Lei Zhang, Chenkai Tang, and Visarut Phichitthanaset. "Railway emergency plan modeling based on Petri net." Smart and Resilient Transport ahead-of-print, ahead-of-print (August 26, 2021). http://dx.doi.org/10.1108/srt-01-2021-0001.

Full text

Abstract:

Purpose When a railway emergency occurs, it often leads to unexpected consequences, especially for trains of higher speed and larger passenger flow. Therefore, the railway emergency plan, a pre-established plan to deal with emergencies, plays an important role in reducing injuries and losses. However, the existing railway emergency plans remain as plain-text documents, requiring lots of manual work to capture the important regulations. This paper aims to propose a visualized, formal and digital railway emergency plan modeling method based on hierarchical timed Petri net (HTPN), which is also of better interpretability. Design/methodology/approach First, the general railway emergency plan was analyzed. Second, the HTPN-based framework model for the general railway emergency plan was proposed. Then, the instantiated model of electric multiple units rescue emergency plan was built by ExSpect, a Petri net simulation tool. Findings The experiments show that the proposed model is more digital and of better readability, visualization and performability, and, meanwhile, can generally conform to the practice well, offering a promising reference for future analysis of the optimization of railway emergency plans. Originality/value This study offers a promising reference for future analysis of the optimization of railway emergency plans.

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'Réseaux de Petri Lots'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles