Results 261 to 270 of about 21,375,197 (296)
Some of the next articles are maybe not open access.
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 +2 more sources
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 +2 more sources
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 +2 more sources
A Grid Workflow Language Using High-Level Petri Nets
2006One approach to Grid application programming is to implement services with often-used functionality on high-performance Grid hosts. Complex applications are created by using several services and specifying the workflow between them. We discuss how the workflow of Grid applications can be described easily as a High-Level Petri Net (HLPN), in order to ...
Martin Helmut Alt +3 more
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
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
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
Challenges in Application of Petri Nets in Manufacturing Systems
Electronics (Switzerland), 2021Iwona Grobelna, Andrei Karatkevich
exaly
Petri nets and industrial applications: A tutorial
IEEE Transactions on Industrial Electronics, 1994Mengchu Zhou, R Zurawski
exaly
Putting high-level Petri nets to work in industry
Computers in Industry, 1994W M P van der Aalst
exaly
On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
IEEE Transactions on Automatic Control, 2017Stéphane Lafortune, Xiang Yin
exaly