Wyniki wyszukiwania:

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) 

Concurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) notation and theory was developed in the last decade as one of a number of mathematical approaches for conceptualizing and analyzing concurrent and reactive systems. The COSY approach extends theconventional notions of grammar and automaton from formal language and automata theory to collections of "synchronized" grammars and automata, permitting system specification and analysis of "true" concurrency without reduction to non-determinism....

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),...