Results 31 to 40 of about 23,744 (217)

Improving Relationship between UML and Petri Nets for Analyzing System by Applying Object Oriented Petri Nets

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, Hamidreza Salmani Mojaveri, Somayeh Shafeiha   +2 more
doaj   +1 more source

UML and Petri Nets for Design and Analysis of Distributed Systems [PDF]

, 2000
This paper presents a modification to UML to improve the modelling and analysis of discrete-event dynamic system (DEDS) representations of manufacturing systems.
Giacomini, Luisa, Holding, David J., Bordbar, Behzad   +2 more
core   +1 more source

Functorial Models for Petri Nets

, 2001
We show that although the algebraic semantics of place/transition Petri nets under the collective token philosophy can be fully explained in terms of strictly symmetric monoidal categories, the analogous construction under the individual token philosophy
Roberto Bruni, Vladimiro Sassone (16064975), MESEGUER J, BRUNI, ROBERTO, Bruni, R., Vladimiro Sassone, Meseguer, José, Roberto Bruni (446877), Sassone, V., Meseguer, J., SASSONE V., MONTANARI, UGO GIOVANNI ERASMO, Ugo Montanari, Ugo Montanari (12616129), Montanari, U., José Meseguer (39091), Montanari, Ugo, Sassone, Vladimiro, José Meseguer   +18 more
core   +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

High-Level Petri Nets as Type Theories in the Join Calculus

, 2001
We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four classes of nets of increasing expressiveness, $PN_i$, introduce a hierarchy of type ...
Buscemi, Maria Grazia, Maria Grazia Buscemi, Buscemi, M., Vladimiro Sassone, Sassone, Vladimiro, Marzia Buscemi, Sassone, V.   +6 more
core   +1 more source

Modeling Routing Constructs to Represent Distributed Workflow Processes Using Extended Petri Nets

ITM Web of Conferences, 2017
The contribution introduces explaining and modelling routing construct to represent distributed workflow processes using extended Petri nets with the new construction which is the interruption routing.
Karay Mehmet
doaj   +1 more source

Petri Nets for Biologically Motivated Computing [PDF]

Scientific Annals of Computer Science, 2011
Petri nets are a general and well-established model of concurrent and distributed computation and behaviour, including that taking place in biological systems. In this survey paper, we are concerned with intrinsic relationships between Petri nets and two
J. Kleijn, M. Koutny, G. Rozenberg
doaj  

Characterizing Behavioural Congruences for Petri Nets

, 1995
We exploit a notion of interface for Petri nets in order to design a set of net combinators. For such a calculus of nets, we focus on the behavioural congruences arising from four simple notions of behaviour, viz., traces, maximal traces, step, and ...
Priese, L., Nielsen, M., Lutz Priese, Vladimiro Sassone, Sassone, V., Mogens Nielsen   +5 more
core   +1 more source

Colored Petri nets for Modeling Processes of Biometric Identification System [PDF]

The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
The article discusses some issues of modeling and digitalization of real-time systems using Petri nets (Petrosyan et al., 2025). The identification and secret key generation system is modeled using the Colored Petri net, which is a modern extension of ...
G. Petrosyan, A. Avetisyan, V. Burmin, V. Knyaz, A. Gaboutchian   +4 more
doaj   +1 more source

The Equivalency between Logic Petri Workflow Nets and Workflow Nets

The Scientific World Journal, 2015
Logic Petri nets (LPNs) can describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. Logic Petri workflow nets (LPWNs) are proposed based on LPNs in this paper.
Jing Wang, ShuXia Yu, YuYue Du
doaj   +1 more source