Results 261 to 270 of about 31,117 (298)
Some of the next articles are maybe not open access.
Extending a net splitting operation for decomposition of high-level Petri nets
IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society, 2012This paper presents an extension to a net splitting operation for decomposition of high-level Petri nets, to support distributed implementations of embedded systems. The net splitting operation, selected from the survey of methods summarized in this paper, was originally proposed for low-level Petri nets.
Filipe Moutinho, Luís Gomes 0001
openaire +1 more source
Reinforcement learning for high-level fuzzy petri nets
IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), 2003The author has developed a reinforcement learning algorithm for the high-level fuzzy Petri net (HLFPN) models in order to perform structure and parameter learning simultaneously. In addition to the HLFPN itself, the difference and similarity among a variety of subclasses concerning Petri nets are also discussed.
openaire +2 more sources
Weak and Strong Composition of High-Level Petri Nets
1999We propose generic schemes for basic composition operations (sequential composition, choice, iteration, and refinement) for high-level Petri nets. They tolerate liberal combinations of place types (equal, disjoint, intersecting) and allow for weak and strong versions of compositions (owing to a parameterised scheme of type construction).
Eike Best, Alexander Lavrov
openaire +1 more source
High-level Petri net approach for supervisory control
SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483), 2004This paper presents a supervisor synthesis method based on a High-level Petri net model. The presented method has the two following benefits: first, modeling discrete-event systems with High-level Petri nets naturally leads to concise specifications; secondly, we use a related state graph method which exploits behavior symmetries in order to build ...
openaire +1 more source
Computer Tools for High-level Petri Nets
1991This paper provides an overview of computer tools for high-level Petri nets. The information about the individual tools are provided by the developers. The list contains all currently available high-level net tools which we are aware of.
Jensen, Kurt, Feldbrugge, Frits
openaire +2 more sources
High-Level Stochastic Petri Nets
1998High-level Petri nets provide a more compact representation of complex DEDS’s, hence, they represent a natural choice for an alternative representation if the time concept can be embedded into them. Different types of high-level Petri nets (HLPN’s) have been proposed, for example, predicate/transition (Pr/T) nets [GL79, GL81, Gen90], colored Petri nets
openaire +1 more source
2010
This paper presents a high-level Petri net model called High-Level Petri Nets with Object-Orientation (HLPNOO), a new approach for introducing object-oriented concepts into the framework of Petri nets. An important feature of the HLPNOO formalism is the fact that it allows distinct hierarchies for subtyping and subclassing. We use order-sorted algebras
Marius Brezovan +3 more
openaire +1 more source
This paper presents a high-level Petri net model called High-Level Petri Nets with Object-Orientation (HLPNOO), a new approach for introducing object-oriented concepts into the framework of Petri nets. An important feature of the HLPNOO formalism is the fact that it allows distinct hierarchies for subtyping and subclassing. We use order-sorted algebras
Marius Brezovan +3 more
openaire +1 more source
A class of composable high level Petri nets
1995In this paper a high-level Petri net model called M-nets (for multilabeled nets) is developed. A distinctive feature of this model is that it allows not only vertical unfolding, as do most other high-level net models, but also horizontal composition — in particular, synchronisation — in a manner similar to process algebras such as CCS.
Eike Best +5 more
openaire +1 more source
A Survey of Petri Nets Slicing
ACM Computing Surveys, 2019Yasir Imtiaz Khan, Alexandros Konios
exaly
Petri nets and industrial applications: A tutorial
IEEE Transactions on Industrial Electronics, 1994R Zurawski, MengChu Zhou
exaly