Timed Petri Nets

[1]  Yi Deng,et al.  Incremental modeling and verification of flexible manufacturing systems , 1999, J. Intell. Manuf..

[2]  Yi Deng,et al.  Incremental architectural modeling and verification of real-time concurrent systems , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

[3]  Yi Deng,et al.  Component-level reduction rules for time Petri nets with application in C2 systems , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[4]  MengChu Zhou,et al.  On information processing capacity of anti-aircraft tactic command and control systems , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[5]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

[6]  Mauro Pezzè,et al.  A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems , 1996 .

[7]  Shengbing Jiang,et al.  Stochastic Petri Net Models of Communication and Flexible Systems , 1995 .

[8]  Jeffrey J. P. Tsai,et al.  Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications , 1995, IEEE Trans. Software Eng..

[9]  Mario van Vliet,et al.  Analytical models for FMS design optimization: A survey , 1994 .

[10]  P. Palanque,et al.  Cooperative objects: a concurrent, Petri-net based, object-oriented language , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[11]  MengChu Zhou,et al.  Petri net synthesis and analysis of a flexible manufacturing system cell , 1993, IEEE Trans. Syst. Man Cybern..

[12]  MengChu Zhou,et al.  Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.

[13]  Sung Joo Park,et al.  OPNets: An object-oriented high-level Petri net model for real-time system modeling , 1993, J. Syst. Softw..

[14]  MengChu Zhou,et al.  Design and implementation of a petri net based supervisor for a flexible manufacturing system , 1992, Autom..

[15]  MengChu Zhou,et al.  Hybrid state analysis method in stochastic Petri nets , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[16]  Jiacun Wang,et al.  Hierarchical Models for the Time Delays of Command and Control (C2) Systems , 1992 .

[17]  Yadati Narahari,et al.  Performance modeling of automated manufacturing systems , 1992 .

[18]  Alexander H. Levis,et al.  A colored Petri net model of distributed tactical decision making , 1991, Conference Proceedings 1991 IEEE International Conference on Systems, Man, and Cybernetics.

[19]  MengChu Zhou,et al.  Moment generating function approach to performance analysis of extended stochastic Petri nets , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.

[20]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[21]  Thomas G. Robertazzi,et al.  Markovian Petri Net Protocols with Product Form Solution , 1991, Perform. Evaluation.

[22]  G. Florin,et al.  Stochastic Petri nets: Properties, applications and tools , 1991 .

[23]  Wlodzimierz M. Zuberek,et al.  Performance evaluation using timed coloured Petri nets , 1990, Proceedings of the 33rd Midwest Symposium on Circuits and Systems.

[24]  S. Tu,et al.  Applying Petri net reduction to support Ada-tasking deadlock detection , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.

[25]  Marco Ajmone Marsan,et al.  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets , 1989, IEEE Trans. Software Eng..

[26]  Hany H. Ammar,et al.  Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models , 1989, IEEE Trans. Software Eng..

[27]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[28]  S.M.R. Islam,et al.  Performance analysis of degradable multiprocessor systems , 1989, Eighth Annual International Phoenix Conference on Computers and Communications. 1989 Conference Proceedings.

[29]  Way Kuo,et al.  Performance analysis of a generic naval C2battle group system by use of timed Petri nets , 1988, WSC '88.

[30]  J. J. Zhu,et al.  Timed Petri nets and their application to communication protocol specification , 1988, MILCOM 88, 21st Century Military Communications - What's Possible?'. Conference record. Military Communications Conference.

[31]  Alexander H. Levis,et al.  Modeling and Evaluation of Variable Structure Command and Control Organizations , 1988 .

[32]  Alexander H. Levis,et al.  Synthesis of distributed command and control for the outer air battle , 1988 .

[33]  Marco Ajmone Marsan,et al.  Improving the efficiency of the analysis of DSPN models , 1988, European Workshop on Applications and Theory in Petri Nets.

[34]  Marco Ajmone Marsan,et al.  Stochastic Petri nets: an elementary introduction , 1988, European Workshop on Applications and Theory in Petri Nets.

[35]  Ian F. Akyildiz,et al.  On the Exact and Approximate Throughput Analysis of Closed Queueing Networks with Blocking , 1988, IEEE Trans. Software Eng..

[36]  Alexander H. Levis,et al.  On the Generation of Organizational Architectures Using Petri Nets , 1988, European Workshop on Applications and Theory of Petri Nets.

[37]  Michael K. Molloy.  Structurally Bounded Stochastic Petri Nets , 1987, PNPM.

[38]  Dan C. Marinescu,et al.  On Stochastic High-Level Petri Nets , 1987, PNPM.

[39]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities , 1987, PNPM.

[40]  Stéphane Natkin,et al.  A Necessary and Sufficient Saturation Condition for Open Synchronized Queueing Networks , 1987, Petri Nets and Performance Models.

[41]  Yu-Chi Ho,et al.  Performance evaluation and perturbation analysis of discrete event dynamic systems , 1987 .

[42]  Hany H. Ammar,et al.  Hierarchical models for systems reliability, maintainability, and availability , 1987 .

[43]  Giancarlo Mauri,et al.  OBJSA Nets: a Class of High- level Nets Having Objects as Domains , 1987, European Workshop on Applications and Theory of Petri Nets.

[44]  Joël Favrel,et al.  Generalized Petri Net Reduction Method , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[45]  Mary K. Vernon,et al.  A Generalized Timed Petri Net Model for Performance Analysis , 1985, IEEE Transactions on Software Engineering.

[46]  Norihisa Komoda,et al.  Liveness analysis of sequence control specifications described in capacity designated Petri net using reduction , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[47]  Ian F. Akyildiz,et al.  Exact Product Form Solution for Queueing Networks with Blocking , 1987, IEEE Transactions on Computers.

[48]  Marco Ajmone Marsan,et al.  Performance models of multiprocessor systems , 1987, MIT Press series in computer systems.

[49]  Ajoy Kumar Datta,et al.  Modular Synthesis of Deadlock-Free Control Structures , 1986, FSTTCS.

[50]  Michael Athans,et al.  Command and control (C2) theory: A challenge to control science , 1986 .

[51]  Alexander H. Levis,et al.  Petri net representation of decision models , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[52]  Tharam S. Dillon,et al.  Timed Places Petri Nets with Stochastic Representation of Place Time , 1985, PNPM.

[53]  E. Gressier,et al.  A Stochastic Petri Net Model for Ethernet , 1985, PNPM.

[54]  Michael K. Molloy.  Fast Bounds for Stochastic Petri Nets , 1985, PNPM.

[55]  Stéphane Natkin,et al.  On Open Synchronized Queuing Networks , 1985, PNPM.

[56]  Hany H. Ammar,et al.  Analysis of the Generalized Stochastic Petri Nets by State Aggregation , 1985, PNPM.

[57]  Gérard Berthelot,et al.  Checking properties of nets using transformation , 1985, Applications and Theory in Petri Nets.

[58]  Wolfgang Reisig.  Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.

[59]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[60]  Kishor S. Trivedi,et al.  Extended Stochastic Petri Nets: Applications and Analysis , 1984, Performance.

[61]  Rami R. Razouk,et al.  Performance Analysis Using Timed Petri Nets , 1984, PSTV.

[62]  Nick Roussopoulos,et al.  Timing Requirements for Time-Driven Systems Using Augmented Petri Nets , 1983, IEEE Transactions on Software Engineering.

[63]  Ichiro Suzuki,et al.  A Method for Stepwise Refinement and Abstraction of Petri Nets , 1983, J. Comput. Syst. Sci..

[64]  Stephen S. Lavenberg,et al.  Computer Performance Modeling Handbook , 1983, Int. CMG Conference.

[65]  Alexander H. Levis,et al.  Information processing and decisionmaking organizations : a mathematical description , 1983 .

[66]  Bernard Berthomieu,et al.  An Enumerative Approach for Analyzing Time Petri Nets , 1983, IFIP Congress.

[67]  Tadao Murata,et al.  Petri Nets and Marked Graphs–Mathematical Models of Concurrent Computation , 1982 .

[68]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[69]  Alexander H. Levis,et al.  Modeling the Interacting Decisionmaker with Bounded Rationality , 1982, IEEE Transactions on Systems, Man, and Cybernetics.

[70]  Wolfgang Reisig,et al.  Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.

[71]  Ichiro Suzuki,et al.  Stepwise Refinements of Transitions and Places , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[72]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[73]  Michael K. Molloy,et al.  On the integration of delay and throughput measures in distributed processing models , 1981 .

[74]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[75]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[76]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[77]  Edward D. Lazowska,et al.  The behavior of Ethernet-like computer communications networks , 1979, SOSP '79.

[78]  Gérard Roucairol,et al.  Linear Algebra in Net Theory , 1979, Advanced Course: Net Theory and Applications.

[79]  Kurt Lautenbach,et al.  The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.

[80]  Robert Valette,et al.  Analysis of Petri Nets by Stepwise Refinements , 1979, J. Comput. Syst. Sci..

[81]  T Murata,et al.  Reduction and expansion of live and safe marked graphs. , 1979 .

[82]  Y. S. Kwong,et al.  On Reduction of Asynchronous Systems , 1977, Theor. Comput. Sci..

[83]  T. Murata.  State equation, controllability, and maximal matchings of petri nets , 1977 .

[84]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[85]  K. Mani Chandy,et al.  Open, Closed, and Mixed Networks of Queues with Different Classes of Customers , 1975, JACM.

[86]  Leonard Kleinrock,et al.  Queueing Systems: Volume I-Theory , 1975 .

[87]  Ronald A. Howard,et al.  Dynamic Probabilistic Systems , 1971 .

[88]  J. Kingman.  THE SINGLE SERVER QUEUE , 1970 .

[89]  C. A. Petri.  Communication with automata , 1966 .

[90]  J. Little.  A Proof for the Queuing Formula: L = λW , 1961 .

[91]  D. Cox.  The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables , 1955, Mathematical Proceedings of the Cambridge Philosophical Society.