NDLI: Concurrency in Distributed Systems under Autonomous and Enforced Actions

Content Provider	IEEE Xplore Digital Library
Author	Wedig, A. Wedde, H.F. Lazarescu, A. Rotaru, E.
Copyright Year	2006
Description	Author affiliation: Informatik III, Dortmund Univ. (Wedig, A.; Wedde, H.F.; Lazarescu, A.; Rotaru, E.)
Abstract	Recently, the formal approach of I-systems has been newly established through an abstract axiomatic system where events in system components are solely derived and defined from their bilateral interaction with other components as well as from the autonomy as found in decentralized systems. As a major difference to other concurrency models we do not assume that simultaneity or coincidence of events are observable in distributed systems. (This is a fundamental practical problem in autonomous decentralized systems.) We respect this by defining concurrency of events as a system-wide or global concept of causal independence which will be given and characterized by bilateral interaction properties about the components involved, detectable through local checks only. A novel concept of conflicting actions will be given as well. While not complementary to concurrency (as often understood in the area of Petri nets) concurrency and conflict will be complemented to constitute fundamental relationships between distributed events, through a new relation termed 'event funneling'. Practice-related issues related to this fine-grained event structure will be discussed
Sponsorship	ICT Turku Oy
Starting Page	251
Ending Page	260
File Size	350714
Page Count	10
File Format	PDF
ISBN	0769525563
ISSN	15504808
DOI	10.1109/ACSD.2006.4
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2006-06-28
Publisher Place	Finland
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Concurrent computing Petri nets Power system modeling Distributed control Event detection Information analysis Navigation Inhibitors
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

An agent net approach to autonomous distributed systems

Distributed fault diagnosis using Petri net reduced models

Control of Petri nets with partial place information

Concurrent execution of timed Petri nets

Distributed simulation of timed Petri nets modeling distributed systems

Modular analysis of concurrency in jumping Petri nets

Relational Petri nets with start/stop place

A usage control policy specification with Petri nets

Control synthesis of Petri nets based on S-decreases

Concurrency in Distributed Systems under Autonomous and Enforced Actions

Similar Documents

An agent net approach to autonomous distributed systems

Distributed fault diagnosis using Petri net reduced models

Control of Petri nets with partial place information

Concurrent execution of timed Petri nets

Distributed simulation of timed Petri nets modeling distributed systems

Modular analysis of concurrency in jumping Petri nets

Relational Petri nets with start/stop place

A usage control policy specification with Petri nets

Control synthesis of Petri nets based on S-decreases

Concurrency in Distributed Systems under Autonomous and Enforced Actions