Ryszard Janicki - Böcker
Visar alla böcker från författaren Ryszard Janicki. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Del 12152 - Lecture Notes in Computer Science
Application and Theory of Petri Nets and Concurrency
41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings
Häftad, Engelska, 2020
535 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2020, which was supposed to be held in Paris, France, in June 2020.
Rough Sets and Knowledge Technology
7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012, Proceedings
Häftad, Engelska, 2012
551 kr
Skickas inom 10-15 vardagar
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).
1 095 kr
Skickas inom 10-15 vardagar
Concurrent systems abound in human experience but theirfully adequate conceptualization as yet eludes our most ablethinkers. The COSY (ConcurrentSystem) notation and theorywas developed in the last decade as one of a number ofmathematical approaches for conceptualizing and analyzingconcurrent and reactive systems.The COSY approach extends theconventional notions ofgrammar and automaton from formal language and automatatheory to collections of "synchronized" grammars andautomata, permitting system specification and analysis of"true" concurrency without reduction to non-determinism.COSY theory is developed to a great level of detail andconstitutes the first uniform and self-containedpresentationof all results about COSY published in thepast, as well as including many new results.COSY theory is used to analyze a sufficient number oftypical problems involving concurrency, synchronization andscheduling, to allow the reader to apply the techniquespresented tosimilar problems.The COSY model is also related to many alternative models ofconcurrency, particularly Petri Nets, CommunicatingSequential Processes and the Calculus of CommunicatingSystems.
Paradigms of Concurrency
Observations, Behaviours, and Systems — a Petri Net View
Inbunden, Engelska, 2022
1 732 kr
Skickas inom 10-15 vardagar
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.