Results 21 to 30 of about 4,712 (265)
On Categories of Fuzzy Petri Nets
Advances in Fuzzy Systems, 2011 We introduce the concepts of fuzzy Petri nets and marked fuzzy Petri nets along with their appropriate morphisms, which leads to two categories of such Petri nets. Some aspects of the internal structures of these categories are then explored, for example,
Arun K. Srivastava, S. P. Tiwari
doaj +1 more source
Information Systems Development with the Help of Petri Nets [PDF]
Vietnam Journal of Computer Science, 2020 Many present software systems can be developed by a sequence of transformations from the source specification to the final implementation. An interesting question is whether we can support such a sequence of transformations by some formal apparatus that ...
Jaroslav Pokorný +2 more
doaj +1 more source
BRICS Report Series, 1994 Several categorical relationships (adjunctions) between models for concurrency<br /> have been established, allowing the translation of concepts and<br />properties from one model to another. A central example is a coreflection<br />between Petri nets and asynchronous transition systems.
Nielsen, Mogens, Winskel, Glynn
openaire +5 more sources
Mapping Petri Nets onto a Calculus of Context-Aware Ambients
SoftwarePetri nets are a graphical notation for describing a class of discrete event dynamic systems whose behaviours are characterised by concurrency, synchronisation, mutual exclusion and conflict.
François Siewe +2 more
doaj +1 more source
Journal of Advances in Information Technology, 2013 Today, by developing technology and presenting Object-Oriented and Concurrent systems, new modeling languages with powerful mathematical and formulaic base are needed.
Meysam Aminzadeh +2 more
doaj +1 more source
Time Delays in Membrane Systems and Petri Nets [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Timing aspects in formalisms with explicit resources and parallelism are investigated, and it is presented a formal link between timed membrane systems and timed Petri nets with localities.
Bogdan Aman, Gabriel Ciobanu
doaj +1 more source
A simulation of synchronized curriculum for IT-specialist training based on Petri nets
Освітній вимір, 2022 In this study, the issues of contemporary IT specialists training in terms of constant innovation and rapid expansion of computing are examined in the context of synchronized curriculum shaping.
Lyudmyla I. Bilousova +1 more
doaj +1 more source
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
Liver organoids: modelling complexity in homeostasis and disease
FEBS Letters, EarlyView.Studying liver in vitro has been challenging because simple 2D cell cultures fail to capture liver's cellular and architectural complexity. To bridge this gap, scientists increasingly use organoids, 3D liver models which better mimic liver composition and function. This review examines recent advances in liver organoid complexity and realism, discusses
Anna M. Dowbaj, Meritxell Huch
wiley +1 more source
A Compositional Analysis Method for Petri-Net Models
IEEE Access, 2017 Compositional analysis aims to reveal the underlying structures of a large-scale system or network by analyzing its constituent components and their relationships.
Jie Ding, Xiao Chen, Rui Wang
doaj +1 more source