the proceedings contain 26 papers. the special focus in this conference is on Application and theory of Petri Nets. the topics include: Performance issues in parallel programming;combining petri nets and other formal ...
ISBN:
(纸本)9783540556763
the proceedings contain 26 papers. the special focus in this conference is on Application and theory of Petri Nets. the topics include: Performance issues in parallel programming;combining petri nets and other formal methods;place bisimulations in petri nets;a polynomial-time graph algorithm to decide liveness of some basic classes of bounded petri nets;refinement and simulation of nets - a categorical characterisation;scheduling hard real time systems using high-level petri nets;towards a modular analysis of coloured petri nets;a proof of the rank theorem for extended free choice nets;on the product form solution for stochastic petri nets;obtaining deadlock-preserving skeletons for coloured nets;formal verification of an arbiter cascade;constructs for modeling information systems with petri nets;construction of a class of safe petri nets by presenting firing sequences;an efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets;hierarchical solution of generalized stochastic petri nets by means of traffic processes;concurrency relations and the safety problem for petri nets;high-level nets and linear logic;liveness and boundedness analysis for petri nets with event graph modules;on weighted T-systems;using petri nets to develop programs for PLC systems;modelling and control of complex logistic systems for manufacturing;analysis of an ada system using coloured petri nets and occurrence graphs;the stubborn set method in practice and modeling fine grain computation via the fusion of two extended petri nets.
the authors report on research experience using the Gandalf environment generation system as a prototyping vehicle for the Inscape environment. A Gandalf-based environment consists of four parts: a structure editor ke...
详细信息
the authors report on research experience using the Gandalf environment generation system as a prototyping vehicle for the Inscape environment. A Gandalf-based environment consists of four parts: a structure editor kernel, which is simply linked into each executable, a set of grammar tables describing the language to the kernel in terms of its abstract syntax, one or more concrete syntax views, and a collection of action routines written in the extension language, ARL. Positive aspects of the research included experimentation, incremental evolution, multiple views, the coupling of semantic and editing actions, and the use of domain-specific facilities. Negative aspects consisted primarily of problems with presentation and object management.< >
the proceedings contain 48 papers. the special focus in this conference is on Automata, Languages and programming. the topics include: Parallel RAMs with owned global memory and deterministic context-free language rec...
ISBN:
(纸本)9783540167617
the proceedings contain 48 papers. the special focus in this conference is on Automata, Languages and programming. the topics include: Parallel RAMs with owned global memory and deterministic context-free language recognition;a Strong restriction of the inductive completion procedure;on discerning words by automata;Complexity classes without machines: On complete languages for UP;containment, separation, complete sets, and immunity of complexity classes;on nontermination of Knuth-Bendix algorithm;tradeoffs for language recognition on parallel computing models;rational equivalence relations;some further results on digital search trees;comparison of algorithms controlling concurrent access to a database: A combinatorial approach;knowledge, belief and time;a termination detector for static and dynamic distributed systems with asynchronous non-first-in-first-out communication;decompositions of nondeterministic reductions;hierarchical planarity testing algorithms;synthesis and equivalence of concurrent systems;the set union problem with backtracking;torsion matrix semigroups and recognizable transductions;on recognizable subsets of free partially commutative monoids;Min Cut is NP-complete for edge weighted trees;alternating automata, the weak monadic theory of the tree, and its complexity;a new duality result concerning Voronoi diagrams;subpolynomial complexity classes of real functions and real numbers;etude syntaxique des parties reconnaissables de mots infinis;refusal testing;a timed model for communicating sequential processes;a uniform reduction theorem extending a result of J. Grollmann and A. Selman;on the complexity of deciding fair termination of probabilistic concurrent finite-state programs;a new approach to detection of locally indicative stability;a more efficient algorithm for lattice basis reduction;lower bounds by recursion theoretic arguments.
Because of the increasing complexity of the role of the design engineer, in the design of digital systems, the need has arisen for a behavioral modeling technique which can be accurately controlled by the designer, wi...
详细信息
ISBN:
(纸本)9781450374484
Because of the increasing complexity of the role of the design engineer, in the design of digital systems, the need has arisen for a behavioral modeling technique which can be accurately controlled by the designer, with minimal effort, while remaining relatively error free. Explored here will be a technique for behavioral modeling of digital system designs which is in variance withthe more traditional approaches. It will be shown how the design engineer will be basically responsible for the construction of a model, by use of a design language, and yet be relatively unencumbered by the myriad of programming restrictions and conventions normally imposed on those who generate simulation models. Withthis technique it becomes possible for the design engineer to be reasonably familiar withthe construction of a model while, at the same time, the need for highly skilled programmers is greatly reduced. the more intimately familiar the design engineer is with a model, the more gainful can be the use of that model for testing the algorithms of the design. there will be discussion on the specification of models by use of flowcharts, enabling the design engineer to maintain a current pictorial representation of his design. the problems of documenting ones design, and how this method helps to provide accurate documentation, will be discussed. Fragmentation of an algorithm within a model will be discussed and it will be shown how portions of an algorithm can be modified without concern of adversely affecting any other portions of the algorithm. Cyclic aspects of simulators will be discussed and correspondence will be made between simulator time intervals and actual hardware time intervals. A technique will be discussed for achieving the effect of parallelism in logic execution while at the same time eliminating the concern of the sequential nature of programs. the problem of signal ordering will be discussed along with a method for insuring proper signal ordering. the various t
Following is a continuation of the list of titles and authors: programming a Point-to-Point NC Machine for Contouring Operations. By C. Husemeyer, M. S. Wong, J. L. Duncan and M. C. de Malherbe. Optosyn Numerical Cont...
详细信息
Following is a continuation of the list of titles and authors: programming a Point-to-Point NC Machine for Contouring Operations. By C. Husemeyer, M. S. Wong, J. L. Duncan and M. C. de Malherbe. Optosyn Numerical Control System. By A. Russell. Stepping Motor Drive Assembly Especially Designed for CNC Systems. By J. Plas and J. Blommaert. Quality Control by Using Automatic Inspection Procedure. By C. Watkins. Method of Analysing the logic Design of Pneumatic Sequential Circuits. By R. M. H. Cheng. Effect of Strain-Rate Sensitivity on Scale Phenomena in Chip Formation. By J. Larsen-Basse and P. L. B. Oxley. Design and Preliminary Results from an Experimental Machine Tool Cutting Metals at Up to 8,000 feet per Second. By G. Arndt and R. H. Brown. Investigation of the Performance of a Quick-Stop Device for Metal Cutting Studies. By R. H. Brown and R. Komanduri.
暂无评论