Conferences in DBLP
Marco Ajmone Marsan , Susanna Donatelli , Fabio Neri , U. Rubino On the Construction of Abstract GSPNS: An Exercise in Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Chiola , Susanna Donatelli , Giuliana Franceschinis GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? [Citation Graph (0, 0)][DBLP ] Conf ] Guy Juanole , Youcef Atamna Dealing with Arbitrary Time Distributions with the Stochastic Timed Petri Net Model - Application to Queueing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Guenter Klas , Reinhard Matuschka Subnetwork Time Distributions as a Means for Multilevel Evaluation of Generalized Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Susanna Donatelli Superposed Stochastic Automata: A Class of Stochastic Petri Nets Amenable to Parallel Solution. [Citation Graph (0, 0)][DBLP ] Conf ] C. Murray Woodside , Yao Li Performance Petri Net Analysis of Communications Protocol Software by Delay-Equivalent Aggregation. [Citation Graph (0, 0)][DBLP ] Conf ] Gianfranco Ciardo , Kishor S. Trivedi A Decomposition Approach for Stochastic Petri Net Models. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Magott , Kamil Skudlarski Estimating the Mean Cycle Time for Stochastic Safe Marked Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Rajsbaum Stochastic Marked Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Lakos , C. D. Keen Modelling Layered Protocols in LOOPN. [Citation Graph (0, 0)][DBLP ] Conf ] Zhiwei Xu , Olivier Y. de Vel Petri Net Modelling of Occam Programs for Detecting Indeterminacy, Non-termination and Deadlock Anomalies. [Citation Graph (0, 0)][DBLP ] Conf ] Takashi Kobayashi , Kenzo Kurihara Performance Model of Interference Avoidance Policy Using Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Dan C. Marinescu , Mike Beaven , Ryan Stansifer A Parallel Algorithm for Computing Invariants of Petri Net Models. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Chiola , Giuliana Franceschinis A Structural Colour Simplification in Well-Formed Coloured Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Valentín Valero Ruiz , David de Frutos-Escrig , Fernando Cuartero Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems. [Citation Graph (0, 0)][DBLP ] Conf ] William Henderson , D. Lucic Exact Results in the Aggregation and Disaggregation of Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Lindemann An Improved Numerical Algorithm for Calculating Steady-State Solutions of Deterministic and Stochastic Petri Net Models. [Citation Graph (0, 0)][DBLP ] Conf ] Hany H. Ammar , Su Deng Time Warp Simulation of Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Greg Findlow Can Skeletons Really be Used to Detect Deadlocks of Nets? [Citation Graph (0, 0)][DBLP ] Conf ] Gerard Florin , C. Fraize , Stéphane Natkin Searching Best Paths to Worst States. [Citation Graph (0, 0)][DBLP ] Conf ] Kenji Onaga , Manuel Silva , Toshimasa Watanabe On Periodic Schedules for Deterministically Timed Petri Net Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Oliver Botti , Fiorella de Cindio From Basic to Timed Net Models of Occam: An Application to Program Placement. [Citation Graph (0, 0)][DBLP ] Conf ] Eike Best Overview of the Results of the Esprit Basic Research Action DEMON - Design Methods Based on Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Günther Linde-Göers Free Choice Simulation of Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Z. Zurawski , Tharam S. Dillon Systematic Construction of Functional Abstractions of Petri Net Models of Typical Components of Flexible Manufacturing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco Archetti , Anna Sciomachen , Alexei A. Gaivoronski Optimal Control Policies for Automated Storage/Retrieval System Using P N Model and Stochastic Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Heinz Kantz , Kishor S. Trivedi Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Stefano Caselli , Gianni Conte GSPN Models of Concurrent Architectures with Mesh Topology. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph A. Couvillion , Roberto Freire , Ron Johnson , W. Douglas Obal II , Muhammad A. Qureshi , Manish Rai , William H. Sanders , Janet E. Tvedt Performability Modeling with UltraSAN . [Citation Graph (0, 0)][DBLP ] Conf ] Boudewijn R. Haverkort Approximate Performability Analysis using Generalized Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Campos , Manuel Silva Througput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Campos , Beatriz Sánchez , Manuel Silva Througput Lower Bounds for Markovian Petri Nets: Transformation Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] 