


default search action
SMC 1998: San Diego, California, USA
- Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, SMC 1998, Hyatt Regency La Jolla, San Diego, California, USA, October 11-14,1998. IEEE 1998, ISBN 0-7803-4778-1
- Kyungno Lee, Doo Yong Lee:
An approach to control design for cooperative multiple mobile robots. 1-6 - Georg Frey, Lothar Litz:
Verification and validation of control algorithms by coupling of interpreted Petri nets. 7-12 - Kendra E. Moore, Askiner Güngör, Surendra M. Gupta:
Disassembly Petri net generation in the presence of XOR precedence relationships. 13-18 - Juan Carlos Mugarza, Hervé Camus, Jean-Claude Gentina, Enrique Teruel, Manuel Silva Suárez
:
Reducing the computational complexity of scheduling problems in Petri nets by means of transformation rules. 19-25 - MuDer Jeng, Wan Der Chiou, YuanLin Wen:
Deadlock-free scheduling of flexible manufacturing systems based on heuristic search and Petri net structures. 26-31 - Frédéric Boutet, Gilles Motet, Jean-Marie Kubek:
Use of constraints in Petri nets and their novel applications. 32-37 - Wolfgang Reisig:
Distributed algorithms: modeling and analysis with Petri nets. 38-43 - Giovanni F. de Farias, Maria de F. Q. V. Turnell:
Modelling the user interface of an industrial system in colored Petri nets. 44-48 - Thomas Freytag:
How to construct maximal conflict free processes from Petri net simulations. 49-54 - Zhibin Jiang, Ming Jian Zuo:
Object-oriented Petri nets with changeable structure (OPNs-CS): analysis on conflicts and deadlocks. 55-60 - Michael Gile, Frank DiCesare:
A portable framework for distributed simulation of colored stochastic Petri nets. 61-65 - Søren Christensen, Laure Petrucci:
How to determine and use place flows in coloured Petri nets. 66-71 - Daniel Y. Chao:
Extending knitting algorithm to synthesize resource sharing FMS. 72-77 - Masahiro Yamauchi, Toshimasa Watanabe:
A heuristic algorithm FSD for the legal firing sequence problem of Petri nets. 78-83 - Stephan Philippi:
Modularization of Petri nets using object-oriented concepts. 84-89 - Young Cheol Cho, Wook Hyun Kwon:
On forbidden state problems in a general class of non-ordinary controlled Petri nets. 90-95 - Gabriel Neagu:
Petri net based modeling of job-shop resource allocation in generic prototyping approach. 96-100 - C. Covès, Didier Crestani, François Prunet:
Design and analysis of workflow processes with Petri nets. 101-106 - Michelle M. Usher, David Jackson:
A Petri net based visual programming language. 107-112 - Toshimitsu Ushio, Isao Onishi, Koji Okuda:
Fault detection based on Petri net models with faulty behaviors. 113-118 - Hans-Michael Hanisch, Jan Thieme, Kurt Lautenbach, Carlo Simon:
Timestamp nets in technical applications. 119-124 - Jiacun Wang, Yi Deng:
Component-level reduction rules for time Petri nets with application in C2 systems. 125-130 - Angela Di Febbraro, Simona Sacone:
Hybrid modelling of transportation systems by means of Petri nets. 131-135 - Kun J. Lee:
Work in process (WIP) analysis of the flexible manufacturing system using time Petri nets unfolding. 136-141 - Masahiro Yamauchi, Shinji Tanimoto, Toshimasa Watanabe:
Extracting siphons containing a specified set of places in a Petri net. 142-147 - John Takuya Ootsuki, Takao Kato, Takashi Sekiguchi:
An immune system response network approach for finding firing sequences of a sub-class of Petri nets. 148-153 - Paul T. Kulp, Frank DiCesare:
Performance evaluation of colored Petri net models using simulation and moment generating functions. 154-159 - Partha Ramachandran, Manjunath Kamath:
On place invariant sets and the rank of the incidence matrix of Petri nets. 160-165 - Anne Ferraro, Edwin H. Rogers:
Evolution of virtual objects in Petri net modeled collaborative behavior. 166-171 - Ana K. A. de Medeiros, Dalton Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich
:
An object-oriented Petri net modeling tool and abstraction mechanisms for cooperative systems. 172-177 - László Horváth, Imre J. Rudas:
Evaluation of Petri net process model representation as a tool of virtual manufacturing. 178-183 - Shengke Yu, Wynne Hsu, Hung Keng Pung:
KPN: a Petri net model for general knowledge representation and reasoning. 184-189 - Pedro U. Lima, Hugo Grácio, Vasco Veiga, Anders Karlsson:
Petri nets for modeling and coordination of robotic tasks. 190-195 - Sandro A. D. Costa, Dalton Dario Serey Guerrero, Jorge C. A. de Figueiredo, Angelo Perkusich
:
Inheritance issues in object-oriented Petri net models. 196-201 - Maria Ligia B. Perkusich, Maria de F. Q. V. Turnell, Angelo Perkusich
:
Object-oriented real-time database design based on Petri nets. 202-207 - Nisse Husberg:
Verifying SDL programs using Petri nets. 208-213 - Zdenek Hanzálek:
Algorithm modelling with Petri nets-comparison with data dependence graphs. 214-219 - Antonio Boccalatte, Davide Giglio, Massimo Paolucci:
An approach to information system management based on relational databases and Petri net integration. 220-225 - Andrei Kovalyov, Robert D. McLeod:
New rank theorems for Petri nets and their application to workflow management. 226-231 - Wlodzimierz M. Zuberek, R. Govindarajan:
Performance bounds for distributed memory multithreaded architectures. 232-237 - Nikolay A. Anisimov, Konstantin Kishinski, Alec Miloslavski:
An approach to design distributed CTI applications using Petri nets: an example of a call center. 238-243 - Yi Zhou, Tadao Murata:
Fuzzy-timing Petri net model for distributed multimedia synchronization. 244-249 - Gustavo M. Gois, Angelo Perkusich
, Jorge C. A. de Figueiredo, Evandro de Barros Costa:
Towards a multi-agent interactive learning environment oriented to the Petri net domain. 250-261 - Milan Ceska, Vladimír Janousek, Tomás Vojnar:
Object-oriented Petri nets, their simulation, and analysis. 262-267 - Lívia M. R. Sampaio, Jorge C. A. de Figueiredo, Francisco Vilar Brasileiro:
Applying coloured Petri nets to analyze fail silent nodes in distributed systems. 268-273 - Lothar Litz, Georg Frey:
A senior course on logic process control based on Petri nets. 274-277 - Wlodzimierz M. Zuberek:
Timed Petri nets and performance evaluation of systems. 278-283 - Boleslaw Mikolajczak:
A model-based software engineering of parallel and distributed systems using Petri nets. 284-288 - Michael J. Sanders:
Constraint programming with object-oriented Petri nets. 289-294 - Denis Mukhin, Boleslaw Mikolajczak:
A method of concurrent object-oriented design using high-level Petri nets. 295-300 - Karl-Heinz Sternemann, Martin Zelm:
Enterprise modelling for operational decision support. 301-306 - Hiroyuki Kojima, Toshiyuki Yuasa, Hiroshi Yajima, Rei Itsuki:
Information organizing and sharing method in business media service for virtual manufacturing enterprise. 307-312 - Martin Schotten, Eric Scherer:
Design of co-ordination schemes in the networked enterprise. 313-318 - N. Gayed, Dennis H. Jarvis, Jacqueline H. Jarvis:
A strategy for the migration of existing manufacturing systems to holonic systems. 319-324 - A. Tharumarajah, A. J. Wells, L. Nemes:
Comparison of emerging manufacturing concepts. 325-331 - Didier Crestani, C. Covès, François Prunet, D. Chalvet, Merlin Gerin Alès, Vincent Chapurlat, Mireille Larnac, Janine Magnier:
User defined multi-criteria added-value for enterprise processes analysis. 332-337 - T. Kesavadas, Hari V. Subramanium:
An object oriented model of behavior encoded virtual tools. 338-343 - Charles R. McLean:
Modeling production systems using virtual reality techniques. 344-347 - George Baciu, Hanqiu Sun:
A graph-theoretic model for simultaneous collisions in virtual environments. 348-353 - Harald Friz, Peter F. Elzer, Barney Dalton, Ken Taylor:
Augmented reality in Internet telerobotics using multiple monoscopic views. 354-359 - Chuan-Jun Su, Fuhua Lin, Xiao-ke Zhang:
An efficient collision detection methodology for virtual assembly. 360-365 - Imed Ben Abdallah, Tarek Y. ElMekkawy, Hoda A. ElMaraghy:
On deadlock-free scheduling in FMS. 366-371 - Kristina Anastasova, Moshe Dror:
Intelligent Scheduler for processing help requests on unrelated parallel machines in a computer support administration system. 372-377 - R. G. Vickson, Elkafi Hassini
:
Optimal inspection intervals in a two-stage manufacturing process. 378-382 - Ali Gharbi, Robert Pellerin, Laurent Villeneuve:
Zone and resource scheduling in remanufacturing systems. 383-387 - Michael L. Curry, Krishna R. Pattipati, David L. Kleinman:
Graphical scheduling heuristics for complex task environments. 388-397 - Ali Gharbi, Robert Pellerin, Laurent Villeneuve:
Zone and resource scheduling in remanufacturing systems. 393-397 - K. Suzanne Barber, David C. Han:
Multi-Agent Planning under Dynamic Adaptive Autonomy. 399-404 - K. Suzanne Barber, Ryan McKay:
Allocating goals and planning responsibility in dynamic sensible agent organizations. 405-410 - Chunnian Liu, Ning Zhong:
Handling KDD process iteration by integration of planning and controlling. 411-416 - Lionel Franchini, Emmanuel Caillaud, Philippe Nguyen, Germain Lacoste:
Planning and scheduling skills: a case study in an agri-food industry. 417-422 - Wael Faheem, Caroline C. Hayes, Daniel M. Gaines:
Coordinator: a robust setup planner that detects fixture-feature interactions. 423-426 - Wei Kang, Ning Xi:
Sensor-referenced motion planning and dynamic control for mobile robots. 427-432 - A. Tharumarajah, R. Bemelman, P. Welgama, A. J. Wells:
Distributed scheduling of an assembly shop. 433-438 - Tushar Teredesai, V. C. Ramesh:
A multi-agent mixed initiative system for real-time scheduling. 439-444 - Yaron Klein, Gideon Langholz:
Multi-criteria scheduling optimization using fuzzy logic. 445-450 - Eric Scherer:
Shop floor control-a integrative framework from static scheduling models towards an agile operations management. 451-456 - David Naso, Biagio Turchiano:
A fuzzy multi-criteria algorithm for dynamic routing in FMS. 457-462 - David Ben-Arieh, Manoj Chopra:
Evolutionary game-theoretic approach for shop floor control. 463-468 - Fan-Tien Cheng
, Tsung-Liang Luo, Chengche Feng:
Modeling and analysis for an equipment manager of the manufacturing execution system in semiconductor packaging factories. 469-474 - MuDer Jeng, Xiaolan Xie:
Qualitative analysis and deadlock prevention of a real-world IC wafer fabrication system. 475-480 - Ulrich Christmann, Hans-Michael Hanisch:
BatchMon-applying TNCES-models to the online monitoring of recipe driven batch plants. 481-486 - Stéphane Julia, Robert Valette, José M. Fernandes:
Scheduling batch systems using a token player algorithm. 487-492 - Lorenzo Capra
, Rossano Gaeta, Oliver Botti:
Using SWN nets to specify and analyze FT mechanisms adopted in electric plant automation. 493-498 - Lutz Twele, Holger Schlingloff
, Helena Szczerbicka:
Performability analysis of an avionics-interface. 499-504 - Paulo R. M. Maciel, Edna Barros, Wolfgang Rosenstiel:
A Petri net based approach for performing the initial allocation in hardware/software codesign. 505-510 - Peter Ziegler, Helena Szczerbicka:
Performance and performability evaluation of FMS using GSPN. 511-516 - Lamia Berrah, Gilles Mauris, Laurent Foulloy, Alain Haurat:
Possibility/necessity semantics for the evaluation of the manufacturing processes performance. 517-522 - Han-Pang Huang, Ting-Cheng Shih:
Development of an environment for distributed colored timed Petri nets. 523-528 - Matthias Becker, Helena Szczerbicka:
Modeling and optimization of ON/OFF sources transmitting data over an unreliable network. 529-534 - Armin Zimmermann, Jörn Freiheit:
TimeNETMS-an integrated modeling and performance evaluation tool for manufacturing systems. 535-540 - C. Covès, Didier Crestani, François Prunet:
How to manage coverability graphs construction: an overview. 541-546 - Christoph von Uthmann, Jörg Becker:
Managing complexity of modeling industrial processes with P/T nets. 547-552 - Alejandro Justo Malo Tamayo, Daniel Gaviño-Contreras, Antonio Ramírez-Treviño:
Petri net based control for the dynamic scheduling of a flexible manufacturing cell. 553-557 - Simon Collart Dutilleul, Jean-Paul Denat:
P-time Petri nets and the hoist scheduling problem. 558-563 - Berenice C. Damasceno, Xiaolan Xie:
Scheduling and deadlock avoidance of a flexible manufacturing system. 564-569 - Matthias Becker, Helena Szczerbicka:
Modeling and optimization of kanban controlled manufacturing systems with GSPN including QN. 570-575 - Frédéric Boutet, G. Motet:
Use of constraints in Petri nets for modelling and solving scheduling problems in preliminary system design. 576-581 - Simona Iuliana Caramihai, Ioan Dumitrache, Aurelian Mihai Stanescu:
Real-time supervision for intelligent manufacturing supported by T-temporal Petri net models. 582-587 - Maria Pia Fanti, Bruno Maione, Biagio Turchiano:
Deadlock avoidance in cellular manufacturing systems. 588-593 - Mark Lawley:
Deadlock avoidance in manufacturing systems with flexible routing and mixed capacity. 594-599 - Spyros A. Reveliotis:
Variations of Banker's algorithm for highly flexible resource allocation systems. 600-604 - Guido Maione, Frank DiCesare:
A Petri net and digraph-theoretic approach for deadlock avoidance in flexible manufacturing systems. 605-610 - Tetsuya Maruta, Sen'ichi Onoda, Yoshitomo Ikkai, Takashi Kobayashi, Norihisa Komoda:
A deadlock detection algorithm for business processes workflow models. 611-616 - George Barrett, Stéphane Lafortune
:
A novel framework for decentralized supervisory control with communication. 617-620 - Angela Di Febbraro, Davide Giglio, Riccardo Minciardi, Simona Sacone:
On-line control of manufacturing systems represented as timed event graphs. 621-626 - Kwang-Hyun Cho, Jong-Tae Lim:
A practical view of stability analysis in discrete event dynamic systems: a case study on plasma etching system. 627-631 - Tad Hogg:
Controlling chaos in distributed computational systems. 632-637 - Zyed Zalila, Mohammed Fatene, Rym Kadhi:
Fuzzy supervision in statistical process control. 638-643 - K. Chiba, K. Hiraishi:
Iterated continuous prisoner's dilemma game and its usefulness in analyzing multi-agent systems. 644-649 - MuDer Jeng, Xiaolan Xie:
Modeling and performance analysis of semiconductor manufacturing systems. 650-655 - Fabio Balduzzi, Giuseppe Menga, Alessandro Giua:
Optimal speed allocation and sensitivity analysis of hybrid stochastic Petri nets. 656-662 - András Pfening, Miklós Telek:
Optimal control of Markov regenerative processes. 663-668 - Heinz Westphal, Stephan Gramlich:
On predictive supervisory control of automation structures for semiconductor fab using factory communications and SPNs. 669-673 - René K. Boel, Behzad Bordbar, Geert Stremersch:
Controlled timed Petri nets: equivalence relations, model reduction. 674-679 - Tomaz C. Barros, Angelo Perkusich
:
Simulation of the continuous dynamics of batch control systems based on Petri nets. 680-685 - Hans-Michael Hanisch, Arndt Lüder, Jan Thieme:
A modular plant modeling technique and related controller synthesis problems. 686-691 - MuDer Jeng, Xiaolan Xie:
Modeling and analysis using Petri nets for semiconductor fabrication. 692-697 - Bengt Lennartson, Michael Tittus, Martin Fabian:
Modeling, specification and controller synthesis for discrete event systems. 698-703 - Houshang Darabi, Mohsen A. Jafari:
Recovery analysis of supervisory control of discrete event systems. 704-709 - Fernando G. Gonzalez, Wayne J. Davis:
Developing a physical emulator for a flexible manufacturing system. 710-715 - Monika Heiner, Thomas Menzel:
Instruction list verification using a Petri net semantics. 716-721 - Johan Gunnarsson:
Symbolic tools for verification of large scale DEDS. 722-727