Tutorial and Survey Articles: An introduction to Petri Nets
暂无分享,去创建一个
[1] Miryam Barad,et al. A PETRI NET MODEL FOR THE OPERATIONAL DESIGN AND ANALYSIS OF SEGMENTED FLOW TOPOLOGY (SFT) AGV SYSTEMS , 1998 .
[2] Jean-Marie Proth,et al. Petri nets : a tool for design and management of manufacturing systems , 1996 .
[3] Rüdiger Valk,et al. Petri Nets for Systems Engineering , 2003, Springer Berlin Heidelberg.
[4] Simon Peck,et al. Practice of Petri Nets in Manufacturing , 1993 .
[5] Albert Koelmans,et al. Petri Nets and Digital Hardware Design , 1998 .
[6] Grzegorz Rozenberg,et al. High-level Petri Nets: Theory And Application , 1991 .
[7] Francesco Tisato,et al. Modeling the Ada Task System by Petri Nets , 1985, Comput. Lang..
[8] Alexander Fay,et al. A fuzzy knowledge-based system for railway traffic control , 2000 .
[9] Janette Cardoso,et al. Fuzziness in Petri Nets , 1998 .
[10] Kurt Jensen,et al. Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..
[11] Janette Cardoso,et al. On possibilistic timed safe Petri nets , 1999 .
[12] Wolfgang Reisig,et al. Distributed algorithms: modeling and analysis with Petri nets , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).
[13] Laure Petrucci,et al. Modular Analysis of Petri Nets , 2000, Comput. J..
[14] Joseph Sifakis,et al. Use of Petri nets for performance evaluation , 1977, Acta Cybern..
[15] H. Harry Asada,et al. The Discrete Event Modeling and Trajectory Planning of Robotic Assembly Tasks , 1995 .
[16] Miryam Barad. Timed Petri nets as a verification tool , 1998, 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274).
[17] Miryam Barad. Decomposing Timed Petri Net Models of Open Queueing Networks , 1994 .
[18] Michael K. Molloy. Discrete Time Stochastic Petri Nets , 1985, IEEE Transactions on Software Engineering.
[19] MengChu Zhou,et al. Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.
[20] Panos J. Antsaklis,et al. Supervisory Control of Discrete Event Systems Using Petri Nets , 1998, The International Series on Discrete Event Dynamic Systems.
[21] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[22] Toshinori Suzuki,et al. A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets , 1990, IEEE Trans. Software Eng..
[23] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[24] Yadati Narahari,et al. A Petri net approach to the modelling and analysis of flexible manufacturing systems , 1985 .
[25] Michael K. Molloy. Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.
[26] MengChu Zhou,et al. Petri Nets in Flexible and Agile Automation , 1995 .
[27] Jonathan Billington,et al. Application of Petri Nets to Communication Networks , 1999, Lecture Notes in Computer Science.
[28] Wilfried Brauer,et al. A survey of behaviour and equivalence preserving refinements of Petri nets , 1991, Applications and Theory of Petri Nets.
[29] Jonathan Billington,et al. Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets , 1996, Petri Nets.
[30] Dimitri Lefebvre,et al. Fuzzy multimodel of timed Petri nets , 2001, IEEE Trans. Syst. Man Cybern. Part B.
[31] Jean-Marie Proth,et al. Production management in a Petri net environment , 1995 .
[32] Robert H. Sloan,et al. Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset , 2001, Automated Software Engineering.
[33] Y. Narahari,et al. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models , 1990, IEEE Trans. Robotics Autom..
[34] Jean-Pierre Courtiat,et al. Petri nets are good for protocols , 1984, Comput. Commun. Rev..
[35] Wolfgang Reisig,et al. Distributed Algorithms for Networks of Agents , 1996, Petri Nets.
[36] Woo Jin Lee,et al. Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering , 1998, IEEE Trans. Software Eng..
[37] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .
[38] MengChu Zhou,et al. Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.
[39] Rüdiger Valk,et al. Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .
[40] René David,et al. Petri nets for modeling of dynamic systems: A survey , 1994, Autom..
[41] C. Ramchandani,et al. Analysis of asynchronous concurrent systems by timed petri nets , 1974 .
[42] Alan A. Desrochers,et al. Applications of Petri Nets in Manufacturing Systems: Modeling, Control, and Performance Analysis , 1994 .
[43] 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.
[44] Luis Gomes,et al. Hardware Design and Petri Nets , 2000 .
[45] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .