An algebraic description of processes of timed Petri nets (Englisch)
Nationallizenz
- Neue Suche nach: Winkowski, Józef
- Neue Suche nach: Winkowski, Józef
In:
11th International Conference on Analysis and Optimization of Systems Discrete Event Systems
;
213-219
;
1994
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:An algebraic description of processes of timed Petri nets
-
Beteiligte:Winkowski, Józef ( Autor:in )
-
Erschienen in:11th International Conference on Analysis and Optimization of Systems Discrete Event Systems ; 213-219Lecture Notes in Control and Information Sciences ; 199 ; 213-219
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.1994
-
Format / Umfang:7 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Logical aspects of control of discrete-event systems: A survey of tools and techniquesThistle, John G. et al. | 1994
- 16
-
Automata-theoretic verification of coordinating processesKurshan, R. P. et al. | 1994
- 29
-
Hierarchical COCOLOG for finite machinesWei, Y. J. / Caines, P. E. et al. | 1994
- 39
-
Nondeterministic supervision under partial observationsInan, Kemal et al. | 1994
- 49
-
Avoiding blocking in prioritized synchronization based control of nondeterministic systemsKumar, Ratnesh / Shayman, Mark A. et al. | 1994
- 59
-
Supervisory control for nondeterministic systemsOverkamp, Ard et al. | 1994
- 66
-
Effective control of logical discrete event systems in a trace theory setting using the reflection operatorSmedinga, Rein et al. | 1994
- 73
-
Diagnosability of discrete event systemsSampath, Meera / Sengupta, Raja / Lafortune, Stéphane / Sinnamohideen, Kasim / Teneketzis, Demosthenis et al. | 1994
- 80
-
On the supremal L m -closed and the supremal L m -closed and L-controllable sublanguages of a given languageZiller, Roberto M. / Cury, José E. R. et al. | 1994
- 86
-
Continuous-time supervisory synthesis for distributed-clock discrete-event processesO'Young, S. D. et al. | 1994
- 93
-
Conditions for optimization of discrete event systems using temporal logic modelsIonescu, Dan et al. | 1994
- 101
-
Partial difference equation extensions to automata regulator theoryYuan, Qingsheng / Baker, Albert D. et al. | 1994
- 107
-
An algebraic temporal logic approach to the forbidden state problem in discrete event controlSeow, KiamTian / Devanathan, R. et al. | 1994
- 115
-
Automata timing specificationDelfieu, D. / Sahraoui, A. E. K. et al. | 1994
- 122
-
Synthesis of static controllers for forbidden states problems in Boolean C/E systems using the Boolean differential calculusKowalewski, Stefan et al. | 1994
- 129
-
Analysis of autonomous Petri nets with bulk services and arrivalsSilva, Manuel / Teruel, Enrique et al. | 1994
- 144
-
Dependability and performability analysis using stochastic Petri netsTrivedi, Kishor S. / Ciardo, Gianfranco / Malhotra, Manish / Garg, Sachin et al. | 1994
- 158
-
Controlled Petri nets: A tutorial surveyHolloway, L. E. / Krogh, B. H. et al. | 1994
- 169
-
Functional and performance analysis of cooperating sequential processesTeruel, E. / Silva, M. / Colom, J. M. / Campos, J. et al. | 1994
- 176
-
Hierarchically combined queueing Petri netsBause, Falko / Buchholz, Peter / Kemper, Peter et al. | 1994
- 183
-
Optimizing structural analysis of extended Petri nets modelsFerrarini, Luca / Trioni, Massimo et al. | 1994
- 191
-
Reduced state space generation of concurrent systems using weak persistencyHiraishi, Kunihiko et al. | 1994
- 198
-
A new approach to discrete time stochastic Petri netsZijal, Robert / German, Reinhard et al. | 1994
- 205
-
Analysis of timed place/transition nets using minimal state graphsHanisch, Hans-Michael et al. | 1994
- 213
-
An algebraic description of processes of timed Petri netsWinkowski, Józef et al. | 1994
- 221
-
Dioids and discrete event systemsCohen, Guy et al. | 1994
- 237
-
On structural properties of min-max systemsOlsder, Geert Jan et al. | 1994
- 247
-
Rational series over dioids and discrete event systemsGaubert, Stéphane et al. | 1994
- 257
-
Stochastic linear systems in the (max, +) algebraMairesse, Jean et al. | 1994
- 266
-
Cycle times and fixed points of min-max functionsGunawardena, Jeremy et al. | 1994
- 273
-
The characteristic equation and minimal state space realization of SISO systems in the max algebraSchutter, Bart / Moor, Bart et al. | 1994
- 283
-
A max-algebra solution to the supervisory control problem for real-time discrete event systemsCofer, Darren D. / Garg, Vijay K. et al. | 1994
- 290
-
Stable earliest starting schedules for periodic job shops: A linear system approachLee, Tae-Eog et al. | 1994
- 297
-
Time discrete and continuous control problems convergence of value functionsSamborski, Sergei N. et al. | 1994
- 302
-
Bellman processesAkian, Marianne / Quadrat, Jean-Pierre / Viot, Michel et al. | 1994
- 312
-
Maslov optimisation theory: Stochastic interpretation, particle resolutionMoral, Pierre / Noyer, Jean-Charles / Salut, Gérard et al. | 1994
- 319
-
Networks methods for endomorphisms of semimodules over min-plus algebrasDudnikov, Peter I. / Samborski, Sergei N. et al. | 1994
- 322
-
Subdirect sum decomposition of finite dimensional pseudomodulesWagneur, Edouard et al. | 1994
- 329
-
The algorithmic analysis of hybrid systemsAlur, R. / Courcoubetis, C. / Henzinger, T. / Ho, P. / Nicollin, X. / Olivero, A. / Sifakis, J. / Yovine, S. et al. | 1994
- 352
-
A unified framework for hybrid controlBranicky, Michael S. / Borkar, Vivek S. / Mitter, Sanjoy K. et al. | 1994
- 359
-
Reasoning about hybrid systems with symbolic simulationNarain, Sanjai et al. | 1994
- 369
-
Simple hybrid control systems — continuous FDLTI plants with quantized control inputs and symbolic measurementsRaisch, Jörg et al. | 1994
- 377
-
Controllability and control-law synthesis of linear hybrid systemsTittus, Michael / Egardt, Bo et al. | 1994
- 385
-
Sample-path-based continuous and discrete optimization of discrete event systems: From gradient estimation to “rapid learning”Cassandras, Christos G. et al. | 1994
- 401
-
Infinitesimal perturbation analysis of Generalized Semi-Markov Processes: A tutorialCao, Xi-Ren et al. | 1994
- 409
-
A tutorial overview of optimization via discrete-event simulationFu, Michael C. et al. | 1994
- 419
-
Parallel simulation of discrete event systemsFujimoto, Richard M. et al. | 1994
- 429
-
On the existence and estimation of performance measure derivatives for stochastic recursionsGlynn, Peter W. / L'Ecuyer, Pierre et al. | 1994
- 436
-
Perturbation analysis for the GI/G/1 queue with two priority classesMiyoshi, Naoto / Hasegawa, Toshiharu et al. | 1994
- 443
-
Supply management in assembly systems: The case of random lead timesChu, Chengbin / Proth, Jean-Marie / Wardi, Yorai / Xie, Xiaolan et al. | 1994
- 449
-
Simulation trees for functional estimation via the phantom methodVázquez-Abad, Felisa / L'Ecuyer, Pierre et al. | 1994
- 456
-
Infinitestimal Perturbation Analysis for discrete event systems with discrete lifetime distributionsHeidergott, Bernd et al. | 1994
- 463
-
Loss networks in thermodynamic limitBotvich, Dimitri / Fayolle, Guy / Malyshev, Vadim et al. | 1994
- 490
-
A survey of Markovian methods for stability of networksDown, D. / Meyn, S. et al. | 1994
- 505
-
Stationary regime and stability of free-choice Petri netsBaccelli, F. / Gaujal, B. et al. | 1994
- 516
-
Allocation sequences of two processes sharing a resourceGaujal, Bruno et al. | 1994
- 523
-
Stability criteria for yet another class of multidimensional distributed systemsGeorgiadis, Leonidas / Szpankowski, Wojciech et al. | 1994
- 531
-
Flow control of a virtual circuitAgrawala, Ashok K. / Sanghi, Dheeraj / Shi, Leyuan et al. | 1994
- 538
-
Stochastic scheduling of precedence graphsFinta, Lucian / Liu, Zhen et al. | 1994
- 543
-
Management of manufacturing systems based on Petri netsProth, Jean-Marie et al. | 1994
- 558
-
Approximate closed queueing network model of a manufacturing cell with a batch material transporterRuan, S. Y. / Jafari, M. A. et al. | 1994
- 565
-
Optimizing the transient behavior of hedging control policies in manufacturing systemsEl-Férik, Sami / Malhamé, Roland P. et al. | 1994
- 572
-
Finding optimal number of Kanbans in a manufacturing system via stochastic approximation and perturbation analysisYan, Houmin / Zhou, Xun Yu / Yin, G. et al. | 1994
- 579
-
Performance evaluation of a generalized kanban system with a general arrival process of demandsMascolo, Maria et al. | 1994
- 586
-
Hoist scheduling problem in a real time contextLamothe, J. / Correge, M. / Delmas, J. et al. | 1994
- 593
-
On controlling a class of assembly system with alternative production routeingProth, Jean-Marie / Wang, Liming / Xie, Xiaolan et al. | 1994
- 600
-
Planification Hiérarchisée de la Production: Agrégation du Temps et CohérenceFontan, G. / Hetreux, G. / Merce, C. et al. | 1994
- 609
-
Multi-site planning: A centralized or a distributed approach?Thierry, C. / Page, P. / Chapeaublanc, N. / Bel, G. et al. | 1994
- 616
-
Algorithms for simultaneous scheduling of machines and vehicles in a FMSSawik, Tadeusz et al. | 1994