Aboul Ella Hassanien

Jerzy W. Grzymala-Busse

Guoyin Wang

Hong Yu

Ryszard Janicki

Tianrui Li

Hung Son Nguyen

This book constitutes the refereed proceedings of the 7th International Conference on Rough Sets and Knowledge Technology, RSKT 2012, held in Chengdu, China during August 2012, as one of the co-located conferences of the 2012 Joint Rough Set Symposium, JRS 2012. The 63 revised papers (including 42 regular and 21 short papers) were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on rough sets and its generalizations, rough sets in data and knowledge processing, knowledge technology, advances in granular computing (AGC 2012 workshop), decision-theoretic rough set model and applications (special session), intelligent decision making and granular computing (special session), rough set foundations (special session).

7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012, Proceedings

Rough Sets and Knowledge Technology

Paradigms of Concurrency: Observations, Behaviours, and Systems - a Petri Net View - Ryszard Janicki (McMaster University, CA) Jetty Kleijn (Leiden University, NL) Maciej Koutny (Newcastle University, UK) Lukasz Mikulski (Nicolaus Copernicus University, PL) Concurrency can be studied at different yet consistent levels of abstraction: from individual behavioural observations via more abstract concurrent histories that can be represented by causality structures capturing invariant dependencies between executed actions, to system level constructs such as Petri nets or process algebra expressions. Histories can then be understood as sets of closely related observations. Depending on the nature of the observed relationships between executed actions involved in a single concurrent history, one may identify different concurrency paradigms underpinned by different kinds of causality structures such as partial orders. This book studies fundamental mathematical abstractions to capture and relate observations, histories, and systems. In particular, taking a Petri net view, we present system models fitting various concurrency paradigms and their associated causality structures.

Observations, Behaviours, and Systems -- a Petri Net View

Paradigms of Concurrency

Waldemar W. Koczkodaj

Proceedings of the International Conference on Computing and Information, ICCI '89, Toronto, Canada, 23-27 May, 1989

Computing and Information

41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings

Application and Theory of Petri Nets and Concurrency

Ryszard Janicki

About

Books

Join the club