Structured Solution of Asynchronously

[1]  Manuel Silva Suárez,et al.  Modeling and analysis of sequential processes that cooperate through buffers , 1998, IEEE Trans. Robotics Autom..

[2]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[3]  P. Buchholz,et al.  Complexity of Kronecker Operations on Sparse Matrices with Applications to the Solution of Markov Models , 1997 .

[4]  Peter Kemper,et al.  Transient analysis of superposed GSPNs , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

[5]  Manuel Silva Suárez,et al.  Structured solution of stochastic DSSP systems , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

[6]  Matteo Sereno,et al.  Mean Value Analysis of Stochastic Petri Nets , 1997, Perform. Evaluation.

[7]  Patrice Moreaux,et al.  Asynchronous Composition of High Level Petri Nets: A Quantitative Approach , 1996, Application and Theory of Petri Nets.

[8]  G. Ciardo,et al.  ON THE USE OF KRONECKER OPERATORS FOR THE SOLUTION OF GENERALIZED STOCHASTIC PETRI NETS , 1996 .

[9]  Javier Campos,et al.  State machine reduction for the approximate performance evaluation of manufacturing systems modelled with cooperating sequential processes , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[10]  P. Moreaux,et al.  Evaluation of high level Petri nets by means of aggregation and decomposition , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[11]  Manuel Silva,et al.  On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes , 1995, STRICT.

[12]  Manuel Silva Suárez,et al.  Approximate Throughput Computation of Stochastic Marked Graphs , 1994, IEEE Trans. Software Eng..

[13]  Susanna Donatelli,et al.  Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution , 1994, Application and Theory of Petri Nets.

[14]  Peter Buchholz,et al.  A class of hierarchical queueing networks and their analysis , 1994, Queueing Syst. Theory Appl..

[15]  Simon Peck,et al.  Practice of Petri Nets in Manufacturing , 1993 .

[16]  Susanna Donatelli,et al.  Superposed Stochastic Automata: A Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space , 1993, Perform. Evaluation.

[17]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications , 1993, IEEE Trans. Software Eng..

[18]  Manuel Silva,et al.  Introducing Petri nets , 1993 .

[19]  Peter Buchholz,et al.  A Hierarchical View of GCSPNs and Its Impact on Qualitative and Quantitative Analysis , 1992, J. Parallel Distributed Comput..

[20]  Giovanni Chiola,et al.  GSPNs versus SPNs: what is the actual role of immediate transitions? , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[21]  Manuel Silva,et al.  Properties and performance bounds for closed free choice synchronized monoclass queueing networks , 1991 .

[22]  Manuel Silva Suárez,et al.  Improving the linearly based characterization of P/T nets , 1991, Applications and Theory of Petri Nets.

[23]  Manuel Silva Suárez,et al.  Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows , 1991, Applications and Theory of Petri Nets.

[24]  Peter G. Taylor,et al.  Aggregation methods in exact performance analysis of stochastic Petri nets , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

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

[26]  José Manuel Colom Piazuelo.  Análisis estructural de Redes de Petri, programación lineal y geometría convexa , 1989 .

[27]  M. W. Shields.  An Introduction to Automata Theory , 1988 .

[28]  Brigitte Plateau,et al.  On the stochastic structure of parallelism and synchronization models for distributed algorithms , 1985, SIGMETRICS '85.

[29]  A. Gibbons.  Algorithmic Graph Theory , 1985 .

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

[31]  Marc Davio,et al.  Kronecker products and shuffle algebra , 1981, IEEE Transactions on Computers.