Design of FMS: Logical architecture
- 1 January 1995
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Optimisation of invariant criteria for event graphsIEEE Transactions on Automatic Control, 1992
- Properties and performance bounds for closed free choice synchronized monoclass queueing networksIEEE Transactions on Automatic Control, 1991
- Performance evaluation of job-shop systems using timed event-graphsIEEE Transactions on Automatic Control, 1989
- Learning regular sets from queries and counterexamplesInformation and Computation, 1987
- Performance Evaluation of Asynchronous Concurrent Systems Using Petri NetsIEEE Transactions on Software Engineering, 1980