Computer Aided Systems Theory - EUROCAST '95 Book

	On the Structure of Discrete Systems	3
	Identification and Recognition through Shape in Complex Systems	19
	A Logical Approach to System Construction	30
	Task Management System	48
	Toward a unified theory of discrete event systems	62
	Intersensorial Transformations: General Systems Description and Implications	73
	Proving System Properties by Means of Trigger-Graph and Petri Nets	88
	Refinement Mapping for General (Discrete Event) Systems Theory	103
	A System-Theoretic Approach to Planning and Programming	117
	Equality of Functions in CAST	129
	Basins of Attraction Estimation Through Symbolic Graphical Computing Techniques	137
	Temporal and Functional Verification of a Symbolic Representation of Complex Systems	151
	Modelling Differential Equations by Basic Information Technology Means	163
	System Theoretic Aspects of Software Architectures	175
	A Language for Describing Complex-Evolutive Software Systems	181
	An Architecture for Process Modeling and Execution Support	201
	A Formal Semantics for a Graphical Model Representation in System Design	217
	A User-Interface for a Microsystems High-level Simulator	228
	CAST Extensions to DASME to Support Generalized Information Theory	237
	Symbolic Computing Aided Design of Nonlinear PID Controllers	253
	Discrete Event Simulation in an Environment for Temporal Expert Systems	271
	TOMSPIN - A Tool for Modeling with Stochastic Petri Nets	283
	Hybrid Evolutionary Programming: the Tools for CAST	289
	Automatic Induction of DEVS Structures	305
	Systems Engineering and Infrastructures for Open Computer Based Systems	317
	Object-Oriented High Level Modeling of Complex Systems	332
	Multifacetted, Object Oriented Modeling in the Transportation Domain	341
	EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems	358
	Systems Level Specification and Modelling of Reactive Systems: Concepts, Methods, and Tools	375
	DEVS-Based Endomorphic Agents: Control Through Deliberative and Reactive Planning	386
	Software Processes, Work Flow and Work Cell Design - Separated by a Common Paradigm?	403
	High-Performance Parallel Computing for Analyzing Urban Air Pollution	417
	Performance Analysis of a Dual Robot System Using a Geometric Concurrency Model	423
	Computer Aided Rule Extraction from Examples	437
	Cast Methods for Generation of Non-Orthogonal Complete Transforms	447
	Cast System Approach for Visual Inspection	459
	Finite Dimensional Generalized Baker Dynamical Systems for Cryptographic Applications	465
	Introduction of the Aristotle's Final Causation in CAST: Concept and Method of Incursion and Hyperincursion	477
	A Semantic Logic for CAST Related to Zuse, Deutsch and McCulloch and Pitts Computing Principles	494
	Validation of a Model of an AGVs Scheduling Heuristic Using Radio-Taxi Data	511
	Training Simulator for Garona Nuclear Power Plant	523
	Supervisory Control and Data Acquisition System for the Gas Flow Networks	530
	List of Authors	539