Results 91 to 100 of about 3,623,879 (377)
Mining structured Petri nets for the visualization of process behavior [PDF]
Visualization is essential for understanding the models obtained by process mining. Clear and efficient visual representations make the embedded information more accessible and analyzable. This work presents a novel approach for generating process models
Adriansyah A.+6 more
core +1 more source
Statechartable Petri nets [PDF]
Abstract Petri nets and statecharts can model concurrent systems in a succinct way. While translations from statecharts to Petri nets exist, a well-defined translation from Petri nets to statecharts is lacking. Such a translation should map an input net to a corresponding statechart, having a structure and behaviour similar to that of the ...
openaire +2 more sources
A scalable nano‐/micro‐confinement strategy is developed, where polyacrylamide (PAM)‐LiCl hybrid desiccants are confined within hollow nanoparticles (HNPs) and assembled into raspberry‐like microbeads. The beads have a hydrogel‐rich core and an NP‐rich shell for fast absorption and desorption, releasing water 13.6 L kg⁻¹ day⁻¹.
Yunchan Lee+6 more
wiley +1 more source
Aplikasi Petri Net pada Sistem Pelayanan Pasien Rawat Jalan Peserta Askes di Rumah Sakit Umum Daerah Dr. Haulussy Ambon [PDF]
Salah satu bentuk pelayanan dalam masyarakat adalah pelayanan kesehatan. Contoh pelayanan kesehatan dalam masyarakat adalah pelayanan rawat jalan pada rumah sakit khusus untuk pasien peserta Askes.
Lesnussa, Y. A. (Yopi)+1 more
core
A battery‐free, wireless device for real‐time monitoring of pressure injury and hygiene integrates pressure (≈10 kPa), temperature (≈40 °C), and NH3 gas sensing with antibacterial functionality. Enabled by near‐field communication, it ensures simultaneous, interference‐free mechanical and chemical monitoring, offering a practical solution for pressure ...
Myungwoo Choi+19 more
wiley +1 more source
Model Petri Net Pengajuan KKN Mahasiswa Universitas Lampung
The Petri Net (PN) model is a powerful mathematical representation for describing dynamic systems involving processes, states, and interactions between its elements.
Nur Hamzah+3 more
doaj +1 more source
Lower and upper bounds of shortest paths in reachability graphs
We prove the following property for safe marked graphs, safe conflict-free Petri nets, and live and safe extended free-choice Petri nets. We prove the following three results. If the Petri net is a marked graph, then the length of the shortest path is at
P. K. Mishra
doaj +1 more source
Deterministic Petri net languages as business process specification language. [PDF]
Today, a wide variety of techniques have been proposed to model the process aspects of business processes. The problem, however, is that many of these are focused on providing a clear graphical representation of the models and give almost no support for ...
De Backer, Manu, Snoeck, Monique
core
The pre‐internalization phase of endocytosis remains poorly characterized at single‐cell levels. Single‐cell pre‐internalization mechanics are investigated using advanced robotic techniques. Cancer cells exhibit biphasic adhesion – rapid initial binding followed by reinforcement – while fibroblasts show gradual engagement.
Houari Bettahar+6 more
wiley +1 more source
Subtyping for Hierarchical, Reconfigurable Petri Nets
Hierarchical Petri nets allow a more abstract view and reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding hierarchical structure
Padberg, Julia
core