Number
1-2,
May 2002Number
3, June 2002Number 4,
July 2002Number
1-2,
May 2002Number
3, June 2002Number 4,
July 2002Products and Polymorphic Subtypes
Viviana Bono and
Jerzy Tiuryn
Place/Transition Petri Net Evolutions:
Recording Ways, Analysis and
Synthesis
Ludwik Czaja
Verification of Timed Automata Based on Similarity
Piotr Dembiński, Wojciech Penczek and Agata Półrola
Dynamic Modification of Object Petri Nets. An Application to Modelling
Protocols with Fork-Join Structures
Berndt Farwer
A Comparative Study of Some Generalized Rough Approximations
Anna Gomolińska
Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets
Irina
A. Lomazova
Bounded Model Checking for the Universal Fragment of
CTL
Wojciech Penczek, Bożena Woźna
and Andrzej Zbrzezny
Towards an Ontology of Approximate Reason
James F.
Peters, Andrzej Skowron, Jarosław Stepaniuk and Sheela Ramanna
Global Action Rules in Distributed Knowledge Systems
Zbigniew W. Raś and Shishir Gupta
Verification of Non-functional Properties of a Composable Architecture
with Petri nets
Jan Richling, Louchka Popova-Zeugmann
and Matthias Werner
A Comparison of Different Decision Algorithms Used in Volumetric Storm
Cells Classification
Z. Suraj, J.F. Peters and W. Rząsa
Minimizing the Number of Successor States in the Stubborn Set Method
Kimmo Varpaaniem
Reachability in Contextual Nets
Józef
Winkowski
Collective Intentions
Barbara Dunin-Kęplicz and Rineke Verbrugge
Weaker Axioms, More
Ranges
Costas D. Koutras and Pavlos Peppas
Residual Finite State Automata
François Denis, Aurélien Lemay and Alain Terlutte
RIONA: A New Classification System Combining Rule Inductionand Instance-Based Learning
Grzegorz Góra and Arkadiusz Wojna
On Equations Including Strings
Ivan Kopeek and Miroslav Novotný
One-Turn Regulated Pushdown Automata and Their Reduction
Alexander Meduna and Duan Kolá