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 |