Results 81 to 90 of about 3,623,879 (377)

Feedback control logic synthesis for non safe Petri nets

, 2009
This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use conditions or predicates associated with transitions.
Alla, Hassane, Dideban, Abbas
core   +3 more sources

Adjunct hexagonal array token Petri nets and hexagonal picture languages [PDF]

, 2014
Adjunct Hexagonal Array Token Petri Net Structures (AHPN) are re- cently introduced hexagonal picture generating devices which extended the Hexag- onal Array Token Petri Net Structures .
Kamaraj, T., Lalitha, D., Nagar, A. K., Thamburaj,D. G., Thomas, D. G.   +4 more
core   +1 more source

The Influence of Annealing on the Sb Layer in the Synthesis of [001]‐Oriented Sb2Se3 Film for Photoelectrochemical Hydrogen Gas Generation

Advanced Functional Materials, EarlyView.
[001]‐oriented Sb2Se3 film with improved crystallinity and adjusted composition is achieved via a new thermal treatment approach consisting of preliminary annealing of the Sb layer before its selenization. The findings of this work demonstrate enhanced charge carriers' transportation, a stable performance, and an improvement of H2 generation from ...
Magno B. Costa, Moisés A. de Araújo, Joaquim Puigdollers, Pablo Ortega, Teresa Andreu, Cristobal Voz, Edgardo Saucedo, Lucia H. Mascaro   +7 more
wiley   +1 more source

Membrane Systems with Priority, Dissolution, Promoters and Inhibitors and Time Petri Nets [PDF]

, 2019
We continue the investigations on exploring the connection between membrane systems and time Petri nets already commenced in [4] by extending membrane systems with promoters/inhibitors, membrane dissolution and priority for rules compared to the ...
Battyányi, Péter, Research Group on Natural Computing (Coordinador), Vaszil, György   +2 more
core  

Testing real-time systems using TINA [PDF]

, 2009
The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying ...
A. David, A. En-Nouaary, A. Hessel, A. Khoumsi, B. Berthomieu, B. Berthomieu, B. Berthomieu, B. Berthomieu, B. Bérard, B. Bérard, B. Nielsen, C. Choffrut, D. Lime, E. Brinksma, E. Fersman, F. Demichelis, J. Tretmans, J.C. Fernandez, J.C. Lin, M. Krichen, P. Bouyer, P. Bouyer, P. Bouyer, P.M. Merlin, R. Alur, R. Cardell-Oliver, R. Cleaveland, R. Vries de, S. Chaki, S.-W. Lin, T. Higashino, T. Jéron, T. Jéron, T.A. Henzinger, V. Diekert, W. Khansa   +35 more
core   +2 more sources

Printed Integrated Logic Circuits Based on Chitosan‐Gated Organic Transistors for Future Edible Systems

Advanced Functional Materials, EarlyView.
Edible electronics needs integrated logic circuits for computation and control. This work presents a potentially edible printed chitosan‐gated transistor with a design optimized for integration in circuits. Its implementation in integrated logic gates and circuits operating at low voltage (0.7 V) is demonstrated, as well as the compatibility with an ...
Giulia Coco, Valerio Francesco Annese, Valerio Galli, Ilaria Penna, Debora Russo, Marina Veronesi, Rita Scarpelli, Stefania Sabella, Mario Caironi   +8 more
wiley   +1 more source

Timed Colored Logical Petri Net [PDF]

Jisuanji kexue yu tansuo
Aiming at the problems of weak expressive ability and narrow scope of application in extended colored logical Petri net, timed colored logical Petri net is proposed. Firstly, instantiating colors and using variables to build expressions on directed edges
WANG Jiafeng, XU Xian
doaj   +1 more source

1-Safe Petri nets and special cube complexes: equivalence and applications

, 2019
Nielsen, Plotkin, and Winskel (1981) proved that every 1-safe Petri net $N$ unfolds into an event structure $\mathcal{E}_N$. By a result of Thiagarajan (1996 and 2002), these unfoldings are exactly the trace regular event structures.
Chalopin, Jérémie, Chepoi, Victor
core   +2 more sources

Axiomatizing Petri Net Concatenable Processes [PDF]

, 1995
The concatenable processes of a Petri net $N$ can be characterized abstractly as the arrows of a symmetric monoidal category $P[N]$. Yet, this is only a partial axiomatization, since $P[N]$ is built on a concrete, ad hoc chosen, category of symmetries ...
Sassone, V.
core   +2 more sources

Biodegradable and Recyclable Luminescent Mixed‐Matrix‐Membranes, Hydrogels, and Cryogels based on Nanoscale Metal‐Organic Frameworks and Biopolymers

Advanced Functional Materials, EarlyView.
The study presents biodegradable and recyclable mixed‐matrix membranes (MMMs), hydrogels, and cryogels using luminescent nanoscale metal‐organic frameworks (nMOFs) and biopolymers. These bio‐nMOF‐MMMs combine europium‐based nMOFs as probes for the status of the materials with the biopolymers agar and gelatine and present alternatives to conventional ...
Moritz Maxeiner, Julian Burkhart, Kateryna Borysova, Chiara Mazzariol, Klaus Müller‐Buschbaum   +4 more
wiley   +1 more source