Conferences in DBLP
Michael K. Molloy Petri Net Modelling - The Past, the Present, and the Future. [Citation Graph (0, 0)][DBLP ] Conf ] William Henderson , Peter G. Taylor Aggregation Methods in Exact Performance Analyssi of Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Ajmone Marsan , Susanna Donatelli , Fabio Neri GSPN Models of Multiserver Multiqueue Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard Florin , Stéphane Natkin Matrix Product Form Solution for Closed Synchronized Queuing Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Claude Dutheillet , Serge Haddad Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Chiola , Giuliana Franceschinis Colored GSPN Models and Automatic Symmetry Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Billington Extensions to Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] William H. Sanders , John F. Meyer Reduced Base Model Construction Methods for Stochastic Activity Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Blakemore The Cost of Eliminating Vanishing Markings from Generalized Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Juan A. Carrasco Automated Construction of Compound Markov Chains from Generalized Stochastic High-Level Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Harushi Someya , Tsutomu Tashiro , Tomohiro Murata , Norihisa Komoda Performance Evaluation of Job Operation Flows in Computer Systems by Timed Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Oliver C. Ibe , Archana Sathaye , Richard C. Howe , Kishor S. Trivedi Stochastic Petri Net Modeling of VAXcluster System Availability. [Citation Graph (0, 0)][DBLP ] Conf ] Itsuo Hatono , Norihiro Katoh , Keiichi Yamagata , Hiroyuki Tamura Modeling of FMS under Uncertainty Using Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Peter P. K. Chiu , Y. S. Cheung Logic Simulation with Interval-Labelled Net Model. [Citation Graph (0, 0)][DBLP ] Conf ] Gianfranco Ciardo , Jogesh K. Muppala , Kishor S. Trivedi SPNP: Stochastic Petri Net Package. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Ajmone Marsan , Gian Paolo Rossi , F. Salvi A Simulation Model of a Uniform Interface for Layered Protocol Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Joanne Bechta Dugan , Dan C. Marinescu , Giovanni Chiola , Yoshio Sugasawa , William H. Sanders , Gianfranco Ciardo Panel: Applications of Performance Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Billington Many-Sorted High-Level Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Wlodzimierz M. Zuberek Performance Evaluation Using Unbounded Timed Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Steven C. Bruell , Pozung Chen , Gianfranco Balbo Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Campos , Giovanni Chiola , José Manuel Colom , Manuel Silva Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Javier Campos , Giovanni Chiola , Manuel Silva Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. [Citation Graph (0, 0)][DBLP ] Conf ] Hany H. Ammar , S. M. Rezaul Islam On Bounds for Token Probabilities in a Class of Generalized Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Guy Juanole , J. L. Roux On the Pertinence of the Extended Time Petri Net Model for Analyzing Communication Activities. [Citation Graph (0, 0)][DBLP ] Conf ] Hany H. Ammar , S. M. Rezaul Islam , Su Deng Performability Analysis of Parallel and Distributed Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Magott , Kamil Skudlarski Combining Generalized Stochastic Petri Nets and PERT Networks for the Performance Evaluation of Concurrent Progress. [Citation Graph (0, 0)][DBLP ] Conf ] Keiko Nakamura , Kiyohiko Nakamura , Atsunobu Ichikawa A Class of Petri Nets and a Reachability Problem Solvable in Deterministic Polynomial Time. [Citation Graph (0, 0)][DBLP ] Conf ] Yuh Yaw , Fuin-Law , Wei-De Ju The Algorithm of a Synthesis Technique for Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Toshimasa Watanabe , Yukata Mizobata , Kenji Onaga Legal Firing Sequence and Related Problems of Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] 