Search results for "ICATPN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel	Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.	ICATPN	2007	DBLP DOI BibTeX RDF	integration of net theory and graph transformations, parallel and sequential independence of net transformations and token firing
1	Marc Boyer, Olivier H. Roux	Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Hsu-Chun Yen, Chien-Liang Chen	Computing Minimal Elements of Upward-Closed Sets for Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Fernando Rosa-Velardo, David de Frutos-Escrig	Name Creation vs. Replication in Petri Net Systems.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Jetty Kleijn, Alexandre Yakovlev (eds.)	Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings	ICATPN	2007	DBLP DOI BibTeX RDF
1	Victor Khomenko, Mark Schäfer	Combining Decomposition and Unfolding for STG Synthesis.	ICATPN	2007	DBLP DOI BibTeX RDF	Petri net, decomposition, Asynchronous circuit, unfolding, STG, state space explosion
1	Gabriel Juhás, Robert Lorenz 0001, Sebastian Mauser	Complete Process Semantics for Inhibitor Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Elisabeth Pelz, Dietmar Tutsch	Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Antoni W. Mazurkiewicz	Petri Nets Without Tokens.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Marco Beccuti, Giuliana Franceschinis, Serge Haddad	Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Robert Lorenz 0001, Sebastian Mauser, Robin Bergenthum	Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Karsten Wolf	Generating Petri Net State Spaces.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Michael Köhler 0001, Heiko Rölke	Web Service Orchestration with Super-Dual Object Nets.	ICATPN	2007	DBLP DOI BibTeX RDF	super-dual nets, Petri nets, refinement, duality, nets-within-nets
1	Somsak Vanit-Anunchai, Jonathan Billington	Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures.	ICATPN	2007	DBLP DOI BibTeX RDF	Formal Specification, Internet Protocols, Coloured Petri Nets, DCCP
1	Ivan Poliakov, Danil Sokolov, Andrey Mokhov	Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Niels Lohmann, Peter Massuthe, Karsten Wolf	Operating Guidelines for Finite-State Services.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Pierre Ganty, Jean-François Raskin, Laurent Van Begin	From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia	A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms.	ICATPN	2007	DBLP DOI BibTeX RDF	Asynchronous communication mechanisms, model checking, Petri nets, protocols, synthesis, concurrent systems
1	Michael Köhler 0001, Berndt Farwer	Object Nets for Mobility.	ICATPN	2007	DBLP DOI BibTeX RDF	object nets, Petri nets, Mobile agents, nets-within-nets, name spaces
1	Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, R. S. Mans, Ana Karla Alves de Medeiros, Anne Rozinat, Vladimir A. Rubin, Minseok Song 0001, H. M. W. Verbeek, A. J. M. M. Weijters	ProM 4.0: Comprehensive Support for Real Process Analysis.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Victor Khomenko	Behaviour-Preserving Transition Insertions in Unfolding Prefixes.	ICATPN	2007	DBLP DOI BibTeX RDF	Petri net unfoldings, transition insertions, encoding conflicts, Petri nets, transformations, asynchronous circuits, STGs
1	Peng Men, Zhenhua Duan, Bin Yu	Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery.	ICATPN	2007	DBLP DOI BibTeX RDF	ontology, semantic web services, matchmaking, fuzzy petri net
1	Sadatoshi Kumagai, Toshiyuki Miyamoto	Autonomous Distributed System and Its Realization by Multi Agent Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Ranko Lazic 0001, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe 0001, James Worrell 0001	Nets with Tokens Which Carry Data.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Samson Abramsky	Petri Nets, Discrete Physics, and Distributed Quantum Computation.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu	Improving Static Variable Orders Via Invariants.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge	The ComBack Method - Extending Hash Compaction with Backtracking.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Andrzej Tarlecki	Toward Specifications for Reconfigurable Component Systems.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Maciej Koutny, Marta Pietkiewicz-Koutny	Synthesis of Elementary Net Systems with Context Arcs and Localities.	ICATPN	2007	DBLP DOI BibTeX RDF	theory of concurrency, net synthesis, step sequence semantics, inhibitor arcs, activator arcs, context arcs, Petri nets, localities, transition systems, structure and behaviour of nets, elementary net systems, theory of regions
1	Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry	dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.	ICATPN	2007	DBLP DOI BibTeX RDF	GreatSPN, Distributed Model Checking, Symbolic Reachability Graph
1	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst	History-Dependent Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Baver Acu, Wolfgang Reisig	Compensation in Workflow Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Javier Campos, José Merseguer	On the Integration of UML and Petri Nets in Software Development.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Katrin Winkelmann, Holger Luczak	Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Thomas Chatain, Claude Jard	Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Elena Gómez-Martínez, José Merseguer	ArgoSPE: Model-Based Software Performance Engineering.	ICATPN	2006	DBLP DOI BibTeX RDF	UML-SPT, UML, software performance evaluation, GSPN
1	Roberto Bruni, Hernán C. Melgratti	Non-sequential Behaviour of Dynamic Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Andreas Glausch, Wolfgang Reisig	How Expressive Are Petri Net Schemata?.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Eric Fabre	On the Construction of Pullbacks for Safe Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Olivier Bonnet-Torrés, Patrice Domenech, Charles Lesire, Catherine Tessier	Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Robert Lorenz 0001, Gabriel Juhás	Towards Synthesis of Petri Nets from Scenarios.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Stephan Roch, Karsten Schmidt 0004	On the Step Explosion Problem.	ICATPN	2006	DBLP DOI BibTeX RDF	step semantics, inhibitory, signal arcs, priorities, read, partial order reduction, State space exploration, reset
1	Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz 0001	Can I Execute My Scenario in Your Net? VipTool Tells You!	ICATPN	2006	DBLP DOI BibTeX RDF
1	H. C. M. Kleijn, Maciej Koutny	Infinite Process Semantics of Inhibitor Nets.	ICATPN	2006	DBLP DOI BibTeX RDF	theory of concurrency, weighted inhibitor arcs, causality semantics, infinite processes, occurrence nets, Petri nets, step sequences
1	Sami Evangelista, Jean-François Pradat-Peyre	On the Computation of Stubborn Sets of Colored Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Ralph-Johan Back	Invariant Based Programming.	ICATPN	2006	DBLP DOI BibTeX RDF
1	David R. Gilbert, Monika Heiner	From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Spyros A. Reveliotis, Jin Young Choi 0001	Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Michael Westergaard, Kristian Bisgaard Lassen	The BRITNeY Suite Animation Tool.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Jochen Stier, Jens H. Jahnke, Hausi A. Müller	Geist3D, a Simulation Tool for Geometry-Driven Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
1	R. Goud, Kees M. van Hee, R. D. J. Post, Jan Martijn E. M. van der Werf	Petriweb: A Repository for Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Susanna Donatelli, P. S. Thiagarajan (eds.)	Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings	ICATPN	2006	DBLP DOI BibTeX RDF
1	Nicolas Baudru, Rémi Morin	The Synthesis Problem of Netcharts.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Jianli Xu	Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Meuse N. Oliveira Jr., Silvino Neto, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Raimundo S. Barreto, Eduardo Tavares, Frederico Braga	Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Serge Haddad, Lynda Mokdad, Patrice Moreaux	A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Ekkart Kindler, Vladimir A. Rubin, Robert Wagner 0002	Component Tools: Integrating Petri Nets with Other Formal Methods.	ICATPN	2006	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve	Nested Nets for Adaptive Systems.	ICATPN	2006	DBLP DOI BibTeX RDF	modeling, adaptivity, Petri nets, workflow
1	Gabriel Juhás, Robert Lorenz 0001, Jörg Desel	Can I Execute My Scenario in Your Net?.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke	Modeling Dynamic Architectures Using Nets-Within-Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski	High-Level Nets with Nets and Rules as Tokens.	ICATPN	2005	DBLP DOI BibTeX RDF	High-level net models, algebraic high-level nets, nets and rules as tokens, integration of net theory and graph transformations, case study: House of Philosophers, graph grammars and Petri net transformations, algebraic specifications
1	Sami Evangelista	High Level Petri Nets Analysis with Helena.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo, Philippe Darondeau (eds.)	Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings	ICATPN	2005	DBLP DOI BibTeX RDF
1	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.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Jonathan D. Pincus, Jeannette M. Wing	Towards an Algebra for Security Policies.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Wolfgang Reisig	On the Expressive Power of Petri Net Schemata.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Anne Bouillard, Bruno Gaujal, Jean Mairesse	Extremal Throughputs in Free-Choice Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Giuliana Franceschinis	Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve	Soundness of Resource-Constrained Workflow Nets.	ICATPN	2005	DBLP DOI BibTeX RDF	verification, Petri nets, concurrency, workflow, resources
1	Kenneth L. McMillan	Applications of Craig Interpolation to Model Checking.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis	A High Level Language for Structural Relations in Well-Formed Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
1	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.	ICATPN	2005	DBLP DOI BibTeX RDF	OR-join, synchronizing merge, Reset nets, Petri nets, Workflow patterns, YAWL
1	Samy Abbes	The (True) Concurrent Markov Property and Some Applications to Markov Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Charles Lesire, Catherine Tessier	Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai	On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets.	ICATPN	2005	DBLP DOI BibTeX RDF	cs-property, liveness, structure theory, deadlock-freeness
1	Leonardo Brenner, Paulo Fernandes 0001, Afonso Sales, Thais Webber	A Framework to Decompose GSPN Models.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Manuel Silva Suárez, Laura Recalde	Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Eric Verbeek 0001, Maarte van Hattem, Hajo A. Reijers, Wendy de Munk	Protos 7.0: Simulation Made Accessible.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Lisa Wells, Thomas Maier	Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Michael Köhler 0001, Heiko Rölke	Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Jirí Srba	Timed-Arc Petri Nets vs. Networks of Timed Automata.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Mark Schäfer, Walter Vogler, Petr Jancar	Determinate STG Decomposition of Marked Graphs.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Wil M. P. van der Aalst, Ana Karla A. de Medeiros, A. J. M. M. Weijters	Genetic Process Mining.	ICATPN	2005	DBLP DOI BibTeX RDF	Genetic Algorithms, Petri Nets, Process Mining, Business Activity Monitoring, Process Discovery, Business Process Intelligence
1	Bing Han, Jonathan Billington	Termination Properties of TCP's Connection Management Procedures.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella	Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Jean-Paul Comet, Hanna Klaudel, Stéphane Liauzu	Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets.	ICATPN	2005	DBLP DOI BibTeX RDF
1	Jordi Cortadella, Wolfgang Reisig (eds.)	Applications and Theory of Petri Nets 2004, 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings	ICATPN	2004	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve	Generalised Soundness of Workflow Nets Is Decidable.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger	Embedded Software: Better Models, Better Code.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Timo Latvala, Marko Mäkelä	LTL Model Checking for Modular Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Adrianna Alexander	Composition of Temporal Logic Specifications.	ICATPN	2004	DBLP DOI BibTeX RDF	verification, specification, temporal logic, partial order, compositional semantics
1	Wojciech Penczek, Agata Pólrola	Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Denis Thieffry	Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
1	João Paulo Barros, Luís Gomes 0001	On the Use of Coloured Petri Nets for Object-Oriented Design.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Tommi A. Junttila	New Canonical Representative Marking Algorithms for Place/Transition-Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Lucia Pomello, Luca Bernardinello	Formal Tools for Modular System Development.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Alexander Norta	Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Michael Köhler 0001, Heiko Rölke	Properties of Object Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
1	María José Polo Martín, Luis Antonio Miguel Quintales, María N. Moreno García	A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Eric Verbeek 0001, Robert A. van der Toorn	Transit Case Study.	ICATPN	2004	DBLP DOI BibTeX RDF

Publications at "ICATPN"( http://dblp.L3S.de/Venues/ICATPN )