Search results for "ICATPN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Gabriel Juhás, Robert Lorenz 0001, Christian Neumair	Synthesis of Controlled Behavior with Modules of Signal Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Monika Heiner, Ina Koch	Petri Net Based Model Validation in Systems Biology.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Olivier H. Roux, Didier Lime	Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Gianfranco Ciardo	Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?	ICATPN	2004	DBLP DOI BibTeX RDF
1	William H. Sanders	Stochastic Methods for Dependability, Performability, and Security Evaluation.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler 0001, Daniel Moldt, Heiko Rölke, Rüdiger Valk	An Extensible Editor and Simulation Engine for Petri Nets: Renew.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Lars Michael Kristensen, Laure Petrucci	An Approach to Distributed State Space Exploration for Coloured Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Jörg Desel, Gabriel Juhás, Christian Neumair	Finite Unfoldings of Unbounded Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Harro Wimmel	Infinity of Intermediate States Is Decidable for Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Harro Wimmel	Eliminating Internal Behaviour in Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Nadia Busi, Roberto Gorrieri	Positive Non-interference in Elementary and Trace Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone 0001, Nicola Mazzocca, Valeria Vittorini	Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Ekkart Kindler, Csaba Páles	3D-Visualization of Petri Net Models: Concept and Realization.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Leo Ojala, Olli-Matti Penttinen, Elina Parviainen	Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Dong-Hoon Yoo, Dong-Ik Lee, Jeong-A Lee	Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Edward Ochmanski	Covering Fairness against Conspiracies.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Boudewijn F. van Dongen, Wil M. P. van der Aalst	EMiT: A Process Mining Tool.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Hans Fleischhack, Elisabeth Pelz	Hierarchical Timed High Level Nets and Their Branching Processes.	ICATPN	2003	DBLP DOI BibTeX RDF	Timed and stochastic nets, partial order semantics
1	Stéphane Klein, Georg Frey, Mark Minas	PLC Programming with Signal Interpreted Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Satoshi Taoka, Shinji Furusato, Toshimasa Watanabe	A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
1	H. M. W. Verbeek, Twan Basten	Deciding Life-Cycle Inheritance on Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	life-cycle inheritance, branching bisimilarity, T-invariants, Petri nets, workflow, Object-orientation, backtracking, structural properties
1	Kurt Jensen	Coloured Petri Nets: Status and Outlook.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Rik Eshuis, Juliane Dehnert	Reactive Petri Nets for Workflow Modeling.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Jorge Júlvez, Laura Recalde, Manuel Silva Suárez	On Reachability in Autonomous Continuous Petri Net Systems.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Claus Schröter, Stefan Schwoon, Javier Esparza	The Model-Checking Kit.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Hiroshi Matsuno, Sachie Fujita, Atsushi Doi, Masao Nagasaki, Satoru Miyano	Towards Biopathway Modeling and Simulation.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber 0003	The Petri Net Markup Language: Concepts, Technology, and Tools.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Clarence A. Ellis	Net Models Supporting Human and Humane Behaviors.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Michael Köhler 0001, Daniel Moldt, Heiko Rölke	Modelling Mobility and Mobile Agents Using Nets within Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	mobility, agent, high-level Petri nets, mobile agent system, Renew, nets within nets, Mulan
1	Marco Ajmone Marsan, Michele Garetto, Renato Lo Cigno, Michela Meo	Colored GSPN Models for the QoS Design of Internet Subnets.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Éric Badouel, Jules Chenou	Nets Enriched over Closed Monoidal Structures.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve	Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.	ICATPN	2003	DBLP DOI BibTeX RDF	modelling, verification, Petri nets, workflow, correctness, soundness, separability, serialisability
1	Sahika Genc, Stéphane Lafortune	Distributed Diagnosis of Discrete-Event Systems Using Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Lawrence Cabac, Daniel Moldt, Heiko Rölke	A Proposal for Structuring Petri Net-Based Agent Interaction Protocols.	ICATPN	2003	DBLP DOI BibTeX RDF	agents, high-level Petri nets, Renew, AUML, reference nets, Mulan, agent interaction protocols
1	Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno	On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers.	ICATPN	2003	DBLP DOI BibTeX RDF	Communication Network Planning, Deterministic Stochastic Petri Nets, Completion Time Distribution, Performance Evaluation, Transport Control Protocol
1	Marko Mäkelä	Model Checking Safety Properties in Modular High-Level Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	state space enumeration, model checking, modular systems, high-level nets
1	Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante	Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	Real-time Systems, Case Studies, Z, Time CSP
1	Wil M. P. van der Aalst, Eike Best (eds.)	Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings	ICATPN	2003	DBLP DOI BibTeX RDF
1	Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen	CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Jens Bæk Jørgensen	Coloured Petri Nets in Development of a Pervasive Health Care System.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Gabriel Juhás, Robert Lorenz 0001, Tomás Singliar	On Synchronicity and Concurrency in Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
1	José Manuel Colom	The Resource Allocation Problem in Flexible Manufacturing Systems.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello	Modular System Development with Pullbacks.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Spyros A. Reveliotis	On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems.	ICATPN	2003	DBLP DOI BibTeX RDF	sequential resource allocation systems, Petri net structural analysis, siphons, deadlock resolution
1	Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler	Prototyping Object Oriented Specifications.	ICATPN	2003	DBLP DOI BibTeX RDF
1	María E. Villapol, Jonathan Billington	Analysing Properties of the Resource Reservation Protocol.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier	Automatic Symmetry Detection in Well-Formed Nets.	ICATPN	2003	DBLP DOI BibTeX RDF	Well-Formed Petri nets, partial symmetry, symbolic model-checking, symmetry detection
1	Ed Brinksma	Compositional Theories of Qualitative and Quantitative Behaviour.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Kurt Lautenbach	Logical Reasoning and Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
1	Steven Gordon, Lars Michael Kristensen, Jonathan Billington	Verification of a Revised WAP Wireless Transaction Protocol.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu	Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Mogens Nielsen, P. S. Thiagarajan	Regular Event Structures and Finite Petri Nets: The Conflict-Free Case.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Ekkart Kindler	Petri Nets, Situations, and Automata.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Valentín Valero Ruiz, Juan José Pardo, Fernando Cuartero	Translating TPAL Specifications into Timed-Arc Petri Nets.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Ian J. Hayes	The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Charles Lakos	The Challenge of Object Orientation for the Analysis of Concurrent Systems.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Wil M. P. van der Aalst	Making Work Flow: On the Application of Petri Nets to Business Process Management.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Jean-Michel Couvreur, Emmanuelle Encrenaz, Emmanuel Paviot-Adet, Denis Poitrenaud, Pierre-André Wacrenier	Data Decision Diagrams for Petri Net Analysis.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Alexandre Yakovlev	Is the Die Cast for the Token Game?	ICATPN	2002	DBLP DOI BibTeX RDF
1	Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe	Quasi-Static Scheduling of Independent Tasksfor Reactive Systems.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Hans Fleischhack, Christian Stehno	Computing a Finite Prefix of a Time Petri Net.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Louis-Marie Le Ny, Bruno Tuffin	Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets.	ICATPN	2002	DBLP DOI BibTeX RDF	Threshold queues, Fluid Stochastic Petri Nets, Performance analysis, Stochastic Petri Nets, Hysteresis
1	Kurt Lautenbach	Reproducibility of the Empty Marking.	ICATPN	2002	DBLP DOI BibTeX RDF
1	P. S. Thiagarajan	Abstract Cyclic Communicating Processes: A Logical View.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Jörg Desel	Model Validation - A Theoretical Issue?	ICATPN	2002	DBLP DOI BibTeX RDF
1	David G. Stork, Rob J. van Glabbeek	Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Juliane Dehnert	Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Li Jiao, To-Yat Cheung, Weiming Lu	Characterizing Liveness of Petri Nets in Terms of Siphons.	ICATPN	2002	DBLP DOI BibTeX RDF	Asymmetric choice net, liveness monotonicity, siphon, Petri net, live, characterization, homogeneous
1	Thomas Mailund	Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method.	ICATPN	2002	DBLP DOI BibTeX RDF	Timed Coloured Petri Nets, Infinite-State Systems, State Space Analysis, Reduction Techniques
1	Sibylle Peuker	Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Marko Mäkelä	Maria: Modular Reachability Analyser for Algebraic System Nets.	ICATPN	2002	DBLP DOI BibTeX RDF
1	Javier Esparza, Charles Lakos (eds.)	Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings	ICATPN	2002	DBLP DOI BibTeX RDF
1	Lin Liu 0003, Jonathan Billington	Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification.	ICATPN	2002	DBLP DOI BibTeX RDF	Multimedia Networks and Protocols, Incremental State Space Algorithms, Parameterization, Coloured Petri Nets, Service Definitions
1	Chun Ouyang 0001, Lars Michael Kristensen, Jonathan Billington	A Formal Service Specification for the Internet Open Trading Protocol.	ICATPN	2002	DBLP DOI BibTeX RDF	System verification using nets, E-commerce, Internet protocols, Case studies, Higher-level net models
1	Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi	Real-Time Synchronised Petri Nets.	ICATPN	2002	DBLP DOI BibTeX RDF	CO-OPN, inhibitor arcs, real-time, Petri nets
1	Walter Vogler	Partial S-Invariants for the Verification of Infinite Systems Families.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Peter Deussen	Partial Order Verification of Programmable Logic Controllers.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Wojciech Penczek, Agata Pólrola	Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Mogens Nielsen, Vladimiro Sassone, Jirí Srba	Towards a Notion of Distributed Time for Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez	Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Hanna Klaudel, Franck Pommereau	A Concurrent Semantics of Static Exceptions in a Parallel Programming Language.	ICATPN	2001	DBLP DOI BibTeX RDF	parallel programming, Petri nets, semantics, Exceptions
1	Søren Christensen, Lars Michael Kristensen, Thomas Mailund	Condensed State Spaces for Timed Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Wil M. P. van der Aalst, Twan Basten	Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance.	ICATPN	2001	DBLP DOI BibTeX RDF	Petri nets, inheritance, lattices, workflow management, object-oriented methods, partial orders
1	José Manuel Colom, Maciej Koutny (eds.)	Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings	ICATPN	2001	DBLP DOI BibTeX RDF
1	Slavek Bulach, Anton Brauchle, Hans-Jörg Pfleiderer, Zdenek Kucerovsky	Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Carsten Rust, Jürgen Tacken, Carsten Böke	Pr/T-Net Based Seamless Design of Embedded Real-Time Systems.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Michel Beaudouin-Lafon, Wendy E. Mackay, Peter Andersen, Paul Janecek, Mads Jensen, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen	CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Marian V. Iordache, Panos J. Antsaklis	Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Glenn Lewis, Charles Lakos	Incremental State Space Construction for Coloured Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Michael Köhler 0001, Daniel Moldt, Heiko Rölke	Modelling the Structure and Behaviour of Petri Net Agents.	ICATPN	2001	DBLP DOI BibTeX RDF	modelling, multi agent system, agent, Petri net, concurrency, structure, behaviour, reference net, nets within nets
1	Susanna Donatelli	Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?	ICATPN	2001	DBLP DOI BibTeX RDF
1	Robin Milner	The Flux of Interaction.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Marko Mäkelä	Optimising Enabling Tests and Unfoldings of Algebraic System Nets.	ICATPN	2001	DBLP DOI BibTeX RDF	reachability analysis, unification, high-level Petri nets, unfolding
1	Parosh Aziz Abdulla, Aletta Nylén	Timed Petri Nets and BQOs.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Olga Marroquín Alonso, David de Frutos-Escrig	Extending the Petri Box Calculus with Time.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud	Unfolding of Products of Symmetrical Petri Nets.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Timo Latvala	Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints.	ICATPN	2001	DBLP DOI BibTeX RDF	Model checking, fairness, high-level Petri Nets, LTL
1	L. J. Steggles	Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time.	ICATPN	2001	DBLP DOI BibTeX RDF
1	Maciej Koutny	A Compositional Model of Time Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, process algebras, time Petri nets
1	H. C. M. Kleijn, Maciej Koutny	Process Semantics of P/T-Nets with Inhibitor Arcs.	ICATPN	2000	DBLP DOI BibTeX RDF	Causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis

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