Abstract
Bi-relational P/T Petri nets are the newly introduced class of Petri nets, whose implementation and definitions are the main topics of this paper; they feature certain new and original concepts when compared with conventional P/T Petri nets, which can be successfully used at a design, modeling and verification of multithreading object-oriented programming systems executing in parallel or distributed environment. In this paper basic characteristics of bi-relational P/T Petri nets are very briefly presented including possibilities in their definition of newly introduced net static pages and dynamic pages, net dynamic pages instances and their possible dynamic creation and destruction, functionalities of multiarcs and the mechanism of the execution of transitions at the modeling of object-oriented programming systems. The concept of subpages of net pages and its application in the modeling of the declared static and non-static variables and methods including the class inheritance and polymorphism, is also of an interest. Basic principles of bi-relational P/T Petri nets could be then further applied when defining the bi-relational object Petri Nets.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Reisig, W., Rozenberg, G.: Lectures on Petri Nets I: Basic Models. Springer, Heidelberg (1998)
Diaz, M.: Petri Nets: Fundamental Models, Verification and Applications. John Willey & Sons, ISTE Ltd (2009)
Reisig, W.: Elements Of Distributed Algorithms. Springer, Heidelberg (1998)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)
Agha, G.A., De Cindio, F., Rozenberg, G.: Concurrent Object-Oriented Programming and Petri Nets: Advances in Petri Nets. Springer, Heidelberg (2001)
David, R., Alla, H.: Discrete, Continous and Hybrid Petri Nets. Springer, Heidelberg (2010)
Jensen, K., Rozenberg, G.: High-Level Petri Nets: Theory And Application. Springer, Heidelberg (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Martiník, I. (2011). Bi-relational P/T Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems. In: Snasel, V., Platos, J., El-Qawasmeh, E. (eds) Digital Information Processing and Communications. ICDIPC 2011. Communications in Computer and Information Science, vol 188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22389-1_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-22389-1_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22388-4
Online ISBN: 978-3-642-22389-1
eBook Packages: Computer ScienceComputer Science (R0)