Conferences in DBLP
Giuliana Franceschinis Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:1-14 [Conf ] Kenneth L. McMillan Applications of Craig Interpolation to Model Checking. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:15-16 [Conf ] Jonathan D. Pincus , Jeannette M. Wing Towards an Algebra for Security Policies. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:17-25 [Conf ] Manuel Silva , Laura Recalde Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:26-47 [Conf ] Wil M. P. van der Aalst , Ana Karla A. de Medeiros , A. J. M. M. Weijters Genetic Process Mining. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:48-69 [Conf ] Samy Abbes The (True) Concurrent Markov Property and Some Applications to Markov Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:70-89 [Conf ] Kamel Barkaoui , Jean-Michel Couvreur , Kais Klai On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:90-107 [Conf ] Anne Bouillard , Bruno Gaujal , Jean Mairesse Extremal Throughputs in Free-Choice Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:108-127 [Conf ] Leonardo Brenner , Paulo Fernandes , Afonso Sales , Thais Webber A Framework to Decompose GSPN Models. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:128-147 [Conf ] Lawrence Cabac , Michael Duvigneau , Daniel Moldt , Heiko Rölke Modeling Dynamic Architectures Using Nets-Within-Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:148-167 [Conf ] Lorenzo Capra , Massimiliano De Pierro , Giuliana Franceschinis A High Level Language for Structural Relations in Well-Formed Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:168-187 [Conf ] Robert Clarisó , Enric Rodríguez-Carbonell , Jordi Cortadella Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:188-207 [Conf ] Jean-Paul Comet , Hanna Klaudel , Stéphane Liauzu Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:208-227 [Conf ] Bing Han , Jonathan Billington Termination Properties of TCP's Connection Management Procedures. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:228-249 [Conf ] Kees M. van Hee , Alexander Serebrenik , Natalia Sidorova , Marc Voorhoeve Soundness of Resource-Constrained Workflow Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:250-267 [Conf ] Kathrin Hoffmann , Hartmut Ehrig , Till Mossakowski High-Level Nets with Nets and Rules as Tokens. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:268-288 [Conf ] Gabriel Juhás , Robert Lorenz , Jörg Desel Can I Execute My Scenario in Your Net?. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:289-308 [Conf ] Michael Köhler , Heiko Rölke Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:309-328 [Conf ] Charles Lesire , Catherine Tessier Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:329-348 [Conf ] Wolfgang Reisig On the Expressive Power of Petri Net Schemata. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:349-364 [Conf ] Mark Schäfer , Walter Vogler , Petr Jancar Determinate STG Decomposition of Marked Graphs. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:365-384 [Conf ] Jirí Srba Timed-Arc Petri Nets vs. Networks of Timed Automata. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:385-402 [Conf ] Lisa Wells , Thomas Maier Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:403-422 [Conf ] Moe Thandar Wynn , David Edmond , Wil M. P. van der Aalst , Arthur H. M. ter Hofstede Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:423-443 [Conf ] Boudewijn F. van Dongen , Ana Karla A. de Medeiros , H. M. W. Verbeek , A. J. M. M. Weijters , Wil M. P. van der Aalst The ProM Framework: A New Era in Process Mining Tool Support. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:444-454 [Conf ] Sami Evangelista High Level Petri Nets Analysis with Helena. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:455-464 [Conf ] Eric Verbeek , Maarte van Hattem , Hajo A. Reijers , Wendy de Munk Protos 7.0: Simulation Made Accessible. [Citation Graph (0, 0)][DBLP ] ICATPN, 2005, pp:465-474 [Conf ]