Abstract is missing.
- On the Structure of Discrete SystemsRudolf F. Albrecht. 3-18
- Identification and Recognition through Shape in Complex SystemsCharles Rattray. 19-29
- A Logical Approach to System ConstructionGillian Hill. 30-47
- Task Management SystemYasuhiko Takahara, Xiaohong Chen. 48-61
- Toward a unified theory of discrete event systemsRyo Sato. 62-72
- Intersensorial Transformations: General Systems Description and ImplicationsCarmen Paz Suárez Araujo, Roberto Moreno-Díaz. 73-87
- Proving System Properties by Means of Trigger-Graph and Petri NetsErwin M. Thurner. 88-102
- Refinement Mapping for General (Discrete Event) Systems TheoryPaulo Blauth Menezes, José Félix Costa, Amílcar Sernadas. 103-116
- A System-Theoretic Approach to Planning and ProgrammingIreneusz Sierocki. 117-128
- Equality of Functions in CASTJosep Miró, Margaret Miró-Julià. 129-136
- Basins of Attraction Estimation Through Symbolic Graphical Computing TechniquesJesús Rodríguez-Millán. 137-150
- Temporal and Functional Verification of a Symbolic Representation of Complex SystemsMireille Larnac, Janine Magnier, Eric Vandermeulen, Gérard Dray, Vincent Chapurlat. 151-162
- Modelling Differential Equations by Basic Information Technology MeansMaria Brielmann. 163-174
- System Theoretic Aspects of Software ArchitecturesFranz Kapsner. 175-180
- A Language for Describing Complex-Evolutive Software SystemsJosé Parets-Llorca, Juan Carlos Torres. 181-197
- An Architecture for Process Modeling and Execution SupportChristine Kocourek. 201-216
- A Formal Semantics for a Graphical Model Representation in System DesignStefan Kahlert, Thomas Kruse, Dieter Monjau. 217-227
- A User-Interface for a Microsystems High-Level SimulatorErdmuthe Meyer zu Bexten, Claudio Moraga. 228-236
- CAST Extensions to DASME to Support Generalized Information TheoryCliff Joslyn, Scott Henderson. 237-252
- Symbolic Computing Aided Design of Nonlinear PID ControllersJesús Rodríguez-Millán, Juan Cardillo. 253-270
- Discrete Event Simulation in an Environment for Temporal Expert SystemsRamón P. Otero, Alvaro Barreiro, Pedro Cabalar, David Lorenzo. 271-282
- TOMSPIN - A Tool for Modeling with Stochastic Petri NetsErwin M. Thurner, C. Wincheringer. 283-288
- Hybrid Evolutionary Programming: the Tools for CASTWitold Jacak, Stephan Dreiseitl. 289-304
- Automatic Induction of DEVS StructuresRamón P. Otero, David Lorenzo, Pedro Cabalar. 305-313
- Systems Engineering and Infrastructures for Open Computer Based SystemsGerhard Schweizer, Markus Voss. 317-331
- Object-Oriented High Level Modeling of Complex SystemsKarlheinz Agsteiner, Dieter Monjau, Sören Schulze. 332-340
- Multifacetted, Object Oriented Modeling in the Transportation DomainHerbert Praehofer, Franz Pichler. 341-357
- EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time SystemsChristoph Schaffer, R. J. Raschhofer, A. Simma. 358-374
- Systems Level Specification and Modeling of Reactive Systems: Concepts, Methods, and ToolsUwe Gläser. 375-385
- DEVS-Based Endomorphic Agents: Control Through Deliberative and Reactive PlanningLyes Hamaidi, Patrick Bourseau, Gilles Muratet, Jerry M. Couretas, Bernard P. Zeigler. 386-402
- Software Processes, Work Flow and Work Cell Design - Separated by a Common Paradigm?Gerhard Chroust, Witold Jacak. 403-414
- High-Performance Parallel Computing for Analyzing Urban Air PollutionAchim Sydow, Thomas Lux, Ralf-Peter Schäfer. 417-422
- Performance Analysis of a Dual Robot System Using a Geometric Concurrency ModelElzbieta Roszkowska. 423-436
- Computer Aided Rule Extraction from ExamplesPetr Vysoký, Zdenek Pechal. 437-446
- Cast Methods for Generation of Non-Orthogonal Complete TransformsJuan Carlos Quevedo-Losada, Olga Bolívar Toledo, Roberto Moreno-Díaz. 447-458
- Cast System Approach for Visual InspectionSantiago Candela Solá, Christophe Garcia, Francisco Alayón Hernández, J. Muñoz. 459-464
- Finite Dimensional Generalized Baker Dynamical Systems for Cryptographic ApplicationsFranz Pichler, Josef Scharinger. 465-476
- Introduction of the Aristotle s Final Causation in CAST: Concept and Method of Incursion and HyperincursionDaniel M. Dubois. 477-493
- A Semantic Logic for CAST Related to Zuse, Deutsch and McCulloch and Pitts Computing PrinciplesDaniel M. Dubois. 494-510
- Validation of a Model of an AGVs Scheduling Heuristic Using Radio-Taxi DataJosé Barahona da Fonseca. 511-522
- Training Simulator for Garoña Nuclear Power PlantFrancisco Bustio, Pedro Corcuera, Eduardo Mora. 523-529
- Supervisory Control and Data Acquisition System for the Gas Flow NetworksRyszard Klempous, Barbara Lysakowska, Jan Nikodem. 530-538