A comparative analysis of microplastic contamination in hermit crab Clibanarius rhabdodactylus Forest, 1953, inhabiting intertidal and subtidal Coastal habitat of Gujarat state. [PDF]
PLoS OneParmar J +5 more
europepmc +1 more source
Arthrobotrys mendozadegivensis sp. nov. (Fungi: Orbiliales) from Mexico: Predatory Activity and Nematocidal Activity of Its Liquid Culture Filtrates Against Haemonchus contortus (Nematoda: Trichostrongylidae). [PDF]
J Fungi (Basel)Gutiérrez-Medina E +7 more
europepmc +1 more source
A single-cell transcriptomic atlas reveals the emergence of medusa-specific cell states in the scyphozoan Aurelia coerulea. [PDF]
PLoS BiolLink O +10 more
europepmc +1 more source
Related searches:
Simulation of colored time Petri nets
2013 IEEE International Conference on Information and Automation (ICIA), 2013This paper presents a simulation algorithm to analyze a type of colored time Petri nets, in which a time interval is associated with each transition. Specifically, we first unfold colored time Petri nets to standard time Petri nets and then develop a simulation algorithm of time Petri nets to realize the simulation of colored time Petri nets.
Fei Liu, Ming Yang
exaly +3 more sources
Passage times in colored stochastic petri nets
Stochastic Models, 1993Summary: Passage times in colored-stochastic Petri nets correspond to delays in discrete-event stochastic systems. Formal definition of a sequence of passage times in a colored stochastic Petri net is in terms of the underlying general state space Markov chain of the marking process.
Peter Haas, Gerald S Shedler
exaly +3 more sources
Creating executable models of influence nets with colored Petri nets
International Journal on Software Tools for Technology Transfer, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alexander H Levis
exaly +3 more sources
Improvements in Unfolding of Colored Petri Nets
2021Colored Petri nets offer a compact and user friendly representation of the traditional P/T nets and colored nets with finite color ranges can be unfolded into the underlying P/T nets, however, at the expense of an exponential explosion in size. We present two novel techniques based on static analyses in order to reduce the size of unfolded colored nets.
Alexander Bilgram +4 more
openaire +1 more source
Towards reusable colored Petri nets
Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems, 2002Reuse has long been recognized as a key technology that can bring about signi cant productivity gains in software development. Code-level reuse is wellunderstood and frequently practiced. However, reuse in software requirements, another phase where much bene t can be expected, remains inadequately addressed.
Nam Hee Lee +3 more
openaire +1 more source
Colored Petri net control of OR-logic
Proceedings of the IEEE Internatinal Symposium on Intelligent Control, 2003Usually, the maximally permissive control of Petri nets with an OR-logic constraint is difficult to implement. In this paper, OR-logic is easily enforced using a colored Petri net. A colored Petri net place, named colored monitor place, is designed to monitor the states of constraints.
Weimin Wu 0002 +3 more
openaire +1 more source
Conflict sets in colored Petri nets
Proceedings of 5th International Workshop on Petri Nets and Performance Models, 2002Generalized stochastic Petri nets provide the modeller with immediate transitions, but a model will be correct only if the modeller can specify how to solve the firing conflicts between these transitions. This task is usually cumbersome and may be impossible for large nets.
Claude Dutheillet, Serge Haddad
openaire +1 more source