Abstract
Augmented marked graphs possess a special structure for modelling distributed systems with shared resources. Not only inheriting the desirable properties of augmented marked graphs such as on liveness and reversibility, proper augmented marked graphs also exhibit other desirable properties, including boundedness and conservativeness. However, proper augmented marked graphs have a rather complicated definition that inevitably undermines the usability in system modelling. In this paper, based on composition of live and bounded marked graphs, new characterizations for proper augmented marked graphs are devised. Through these characterizations, proper augmented marked graphs can be effectively used in modelling and analyzing conflicting processes of a distributed system. Applications to distributed transaction processing with shared resources are discussed. DOI: http://dx.doi.org/10.5755/j01.itc.46.1.13970
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
