Tutorial and Survey Articles: An introduction to Petri Nets
暂无分享,去创建一个
[1] Jonathan Lee,et al. A fuzzy Petri net-based expert system and its application to damage assessment of bridges , 1999, IEEE Trans. Syst. Man Cybern. Part B.
[2] S. Toumodge. Applications of Petri Nets in Manufacturing systems; Modeling, Control, and Performance Analysis [Book review] , 1995, IEEE Control Systems.
[3] W. M. Wonham,et al. Concurrent vector discrete-event systems , 1995 .
[4] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[5] Wilfried Brauer,et al. A survey of behaviour and equivalence preserving refinements of Petri nets , 1991, Applications and Theory of Petri Nets.
[6] Miryam Barad,et al. A PETRI NET MODEL FOR THE OPERATIONAL DESIGN AND ANALYSIS OF SEGMENTED FLOW TOPOLOGY (SFT) AGV SYSTEMS , 1998 .
[7] MengChu Zhou,et al. Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.
[8] MengChu Zhou,et al. Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.
[9] Laure Petrucci,et al. Modular Analysis of Petri Nets , 2000, Comput. J..
[10] Panos J. Antsaklis,et al. Supervisory Control of Discrete Event Systems Using Petri Nets , 1998, The International Series on Discrete Event Dynamic Systems.
[11] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[12] Woo Jin Lee,et al. Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering , 1998, IEEE Trans. Software Eng..
[13] Joseph Sifakis. Performance Evaluation of Systems Using Nets , 1979, Advanced Course: Net Theory and Applications.
[14] Grzegorz Rozenberg,et al. High-level Petri Nets: Theory And Application , 1991 .
[15] Simon Peck,et al. Practice of Petri Nets in Manufacturing , 1993 .
[16] Kurt Jensen,et al. Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..
[17] Michael K. Molloy. Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.
[18] MengChu Zhou,et al. Petri Nets in Flexible and Agile Automation , 1995 .
[19] Y. Narahari,et al. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..
[20] Kurt Jensen,et al. Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.
[21] Janette Cardoso,et al. On possibilistic timed safe Petri nets , 1999, Int. J. Intell. Syst..
[22] Rüdiger Valk,et al. Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .
[23] Joseph Sifakis,et al. Use of Petri nets for performance evaluation , 1977, Acta Cybern..
[24] Janette Cardoso,et al. Fuzziness in Petri Nets , 1998 .
[25] Yadati Narahari,et al. A Petri net approach to the modelling and analysis of flexible manufacturing systems , 1985 .
[26] Alessandro Giua,et al. Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.
[27] Dimitri Lefebvre,et al. Fuzzy multimodel of timed Petri nets , 2001, IEEE Trans. Syst. Man Cybern. Part B.
[28] Miryam Barad. Timed Petri nets as a verification tool , 1998, 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274).
[29] Luis Gomes,et al. Hardware Design and Petri Nets , 2000 .
[30] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .
[31] Peter Radford,et al. Petri Net Theory and the Modeling of Systems , 1982 .
[32] Jean-Marie Proth,et al. Production management in a Petri net environment , 1995 .
[33] Jonathan Billington,et al. Application of Petri Nets to Communication Networks , 1999, Lecture Notes in Computer Science.
[34] Miryam Barad. Decomposing Timed Petri Net Models of Open Queueing Networks , 1994 .
[35] Michael K. Molloy. Discrete Time Stochastic Petri Nets , 1985, IEEE Transactions on Software Engineering.
[36] C. Ramchandani,et al. Analysis of asynchronous concurrent systems by timed petri nets , 1974 .
[37] Jean-Marie Proth,et al. Petri nets : a tool for design and management of manufacturing systems , 1996 .
[38] Alexander Fay,et al. A fuzzy knowledge-based system for railway traffic control , 2000 .