Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Karsten Schmidt 0004 |
LoLA: A Low Level Analyser. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Engels, Reiko Heckel, Stefan Sauer 0001 |
UML - A Universal Modeling Language? |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
UML, profile, statechart, object-oriented model, OCL, class diagram, interaction diagram |
1 | Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev |
Hardware and Petri Nets: Application to Asynchronous Circuit Design. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Charles Lakos |
Composing Abstractions of Coloured Petri Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
Theory of High-Level Petri Nets, Refinement, Abstraction |
1 | Philippe Schnoebelen, Natalia Sidorova |
Bisimulation and the Reduction of Petri Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis |
Parametric Stochastic Well-Formed Nets and Compositional Modelling. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Denis Poitrenaud, Jean-François Pradat-Peyre |
Pre- and Post-agglomerations for LTL Model Checking. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Desel, Gabriel Juhás, Robert Lorenz 0001 |
Process Semantics of Petri Nets over Partial Algebra. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Wil M. P. van der Aalst, Poul J. N. de Crom, Roy R. H. M. J. Goverde, Kees M. van Hee, Wout J. Hofman, Hajo A. Reijers, Robert A. van der Toorn |
Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed Elkoutbi, Rudolf K. Keller |
User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
scenario specification, Unified Modeling Language, high-level Petri net, User interface prototyping |
1 | Walter Vogler |
Efficiency of Asynchronous Systems That Communicate Asynchronously. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Louise Lorentsen, Lars Michael Kristensen |
Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Lars Michael Kristensen, Antti Valmari |
Improved Question-Guided Stubborn Set Methods for State Properties. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | David de Frutos-Escrig, Valentín Valero Ruiz, Olga Marroquín Alonso |
Decidability of Properties of Timed-Arc Petri Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Darondeau |
Region Based Synthesis of P/T-Nets and Its Potential Applications. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Eike Best, Harro Wimmel |
Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. |
ICATPN |
2000 |
DBLP BibTeX RDF |
|
1 | Jean-Michel Couvreur, Sébastien Grivet, Denis Poitrenaud |
Designing a LTL Model-Checker Based on Unfolding Graphs. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Kevin X. He, Michael D. Lemmon |
Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi |
Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
DSS1, SDL, reachability analysis, high-level Petri nets, protocol verification, ISDN |
1 | Mogens Nielsen, Dan Simpson (eds.) |
Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen |
Verification of Timed and Hybrid Systems. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Kjeld Høyer Mortensen |
Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Gianfranco Ciardo, Gerald Lüttgen, Radu Siminiceanu |
Efficient Symbolic State-Space Construction for Asynchronous Systems. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Eric Verbeek 0001, Wil M. P. van der Aalst |
Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bruni, Ugo Montanari |
Executing Transactions in Zero-Safe Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
PT nets, zero-safe nets, net unfolding, reachability, distributed transactions |
1 | Steven Gordon, Jonathan Billington |
Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jochen Beister, Gernot Eckstein, Ralf Wollowski |
CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers. |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Laura Recalde, Enrique Teruel, Manuel Silva Suárez |
Autonomous Continuous P/T Systems. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Tokmakoff, Jonathan Billington |
An Approach to the Analysis of Interworking Traders. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
ODP Trader, Coloured Petri Nets, Scenario Analysis, Interworking |
1 | Giorgio De Michelis |
Net Theory and Workflow Models (abstract). |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Rémi Bastide, Philippe A. Palanque, Ousmane Sy, Duc-Hoa Le, David Navarre |
Petri Net Based Behavioural Specification of CORBA Systems. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
behavioural specification, Distributed systems, CORBA, high-level Petri nets |
1 | Piotr Chrzastowski-Wachtel |
Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Pravin Varaiya |
Design, Simulation, and Implementation of Hybrid Systems. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Serge Haddad, Denis Poitrenaud |
Theoretical Aspects of Recursive Petri Nets. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Schmidt 0004 |
Stubborn Sets for Standard Properties. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
(Theory) Analysis of nets, Computer tools for nets |
1 | Olaf Kummer, Daniel Moldt, Frank Wienberg |
Symmetric Communication between Coloured Petri Net Simulations and Java-Processes. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
Design/CPN, Java, Workflow, Framework, Prototyping, Distributed Simulation, Coloured Petri Nets, Computer Tools |
1 | Christoforos N. Hadjicostis, George C. Verghese |
Monitoring Discrete Event Systems Using Petri Net Embeddings. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Capra, Rossano Gaeta, Oliver Botti |
SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Marco Sgroi, Luciano Lavagno, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli |
Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Eike Best, Raymond R. Devillers, Maciej Koutny |
The Box Algebra - A Model of Nets and Process Expressions. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, refinement, process algebras, recursion |
1 | Thomas Baar, Ekkart Kindler, Hagen Völzer |
Verifying Intuition - ILF Checks DAWN Proofs. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Susann C. Allmaier, David Kreische |
Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Enric Pastor, Jordi Cortadella, Marco A. Peña |
Structural Methods to Improve the Symbolic Analysis of Petri Nets. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Schneider, Joachim Wehler |
Petri Net Theory - Problems Solved by Commutative Algebra. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
Artin net, commutative net, Gröbner theory, Coloured Petri net, flow, reachability |
1 | Jean Fanchon |
Trace Channel Nets. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
Fifo Nets, Coloured Nets, concurrent automata, recognisability, concurrency, asynchronous communication, Mazurkiewicz traces |
1 | Gabriel Juhás |
Reasoning about Algebraic Generalisation of Petri Nets. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Michel Couvreur, Denis Poitrenaud |
Detection of Illegal Behaviors Based on Unfoldings. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
Failure Equivalence, Model Checking, Petri Net, Partial Order |
1 | Andrew S. Miner, Gianfranco Ciardo |
Efficient Reachability Set Generation and Storage Using Decision Diagrams. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Walter Vogler |
Concurrent Implementation of Asynchronous Transition Systems. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Susanna Donatelli, H. C. M. Kleijn (eds.) |
Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | To-Yat Cheung, Yiqin Lu |
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets. |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Bruce H. Krogh |
Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract). |
ICATPN |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ekkart Kindler, Hagen Völzer |
Flexibility in Algebraic Nets. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
Algebraic Petri nets, place invariants, verification techniques |
1 | Mark-Oliver Stehr |
Thinking in Cycles. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
synchronization graphs, concurrency, causality, cyclic orders |
1 | Jörg Desel, Manuel Silva Suárez (eds.) |
Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Peter Langner, Christoph Schneider, Joachim Wehler |
Petri Net Based Certification of Event-Driven Process Chains. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Lars Michael Kristensen, Antti Valmari |
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
1 | André Arnold |
Synchronized Products of Transition Systems and Their Analysis. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Ekkart Kindler, Tobias Vesper |
ESTL: A Temporal Logic for Events and States. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
verification, Petri nets, specification, Temporal logic, events, system development, states |
1 | Martin Hesketh, Maciej Koutny |
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
Net-based algebra, analysis of structure of nets, verification using nets, equivalence and axiomatisation |
1 | Marco Gribaudo, Matteo Sereno |
On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Elmar Bihler, Walter Vogler |
Efficiency of Token-Passing MUTEX-Solutions - Some Experiments. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Kathi Fisler, Claude Girault |
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
Protocol design and verification, model checking, distributed shared memory, high level Petri nets, memory consistency |
1 | Rüdiger Valk |
Petri Nets as Token Objects: An Introduction to Elementary Object Nets. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann |
M-net Calculus Based Semantics for Triggers. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Joaquin Ezpeleta, Fernando García-Vallés, José Manuel Colom |
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Elisa Bertino, Giovanni Chiola, Luigi V. Mancini |
Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Peter Buchholz 0001 |
Iterative Decomposition and Aggregation of Labeled GSPNs. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Hans Fleischhack, Bernd Grahlmann |
A Compositional Petri Net Semantics for SDL. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
ARQ protocol, Petri Net Semantics, Concurrency, SDL, Compositionality, Procedures, Infinity, Dynamic Processes |
1 | Marco Ajmone Marsan, Carla-Fabiana Chiasserini, Andrea Fumagalli |
Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Chiola |
Manual and Automatic Exploitation of Symmetries in SPN Models. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Kimmo Varpaaniemi |
On Stubborn Sets in the Verification of Linear Time Temporal Properties. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Rossano Gaeta, Marco Ajmone Marsan |
SWN Analysis and Simulation of Large Knockout ATM Switches. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
1 | François Vernadat 0001, François Michel |
Covering Step Graph Preserving Failure Semantics. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
partial-order, concurrent systems, state space exploration, verification methods, failure semantics |
1 | Karsten Schmidt 0004 |
Verification of Siphons and Traps for Algebraic Petri Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
THEORY: Analysis and synthesis, Higher level net models, structure and behaviour of nets |
1 | Makoto Tanabe |
Timed Petri Nets and Temporal Linear Logic. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
temporal linear logic, timed Petri nets, quantales |
1 | Joseph Sifakis |
On the Composition of Timed Systems. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Renée Boubour, Claude Jard |
Fault Detection in Telecommunication Networks Based on a Petri Net Representation of Alarm Propagation. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Luigi Portinale |
Modeling and Solving Constraint Satisfaction Problems through Petri Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Robert Valette |
Some Issues About Petri Net Application to Manufacturing and Process Supervisory Control. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev |
Coupling Asynchrony and Interrupts: Place Chart Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Tuomas Aura, Johan Lilius |
Time Processes for Time Petri-Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
net theory, processes, timing analysis, causality, time Petri nets, partial order semantics |
1 | Søren Christensen, Jens Bæk Jørgensen |
Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
Topics System design and verification using nets, experience with using nets, application of nets to protocols and embedded systems, case studies, higher-level net models, computer tools for nets |
1 | Wil M. P. van der Aalst, Twan Basten |
Life-Cycle Inheritance: A Petri-Net-Based Approach. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
Petri nets, Object orientation, Inheritance, Workflow management, Object life cycle |
1 | Søren Christensen, Kjeld Høyer Mortensen |
Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
Topics Educational issues related to nets, experience with using nets, applications of nets to protocols, distributed systems, case studies, Coloured Petri Nets |
1 | Eike Best, Thomas Thielke |
Orthogonal Transformations for Coloured Petri Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Azéma, Gianfranco Balbo (eds.) |
Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Fraczak, Elisabeth Pelz |
Improved Implementations via a New Structural Equivalence on Labelled Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ekkart Kindler |
A Compositional Partial Order Semantics for Petri Net Components. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
Petri net component, rely-guarantee specification, fully abstract, compositional semantics, partial order semantics |
1 | Marta Pietkiewicz-Koutny |
Transition Systems of Elementary Net Systems with Inhibitor Arcs. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis |
1 | Serge Haddad, Patrice Moreaux, Giovanni Chiola |
Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Wil M. P. van der Aalst |
Verification of Workflow Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Schmidt 0004 |
Siphons, Traps and High-Level Nets with Infinite Color Domains. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
THEORY: Analysis and synthesis, Higher-level net models, structure and behaviour of nets |
1 | Charles Lakos |
On the Abstraction of Coloured Petri Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
Theory of High-Level Petri Nets, Abstraction, Duality |
1 | Daniel Moldt, Frank Wienberg |
Multi-Agent-Systems Based on Coloured Petri Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
Distributed Object-Orientation, Multi-Agent-System, Coloured Petri Net, Distributed Artificial Intelligence, Agent-Oriented Programming |
1 | Peter Habermehl |
On the Complexity of the Linear-Time mu -calculus for Petri-Nets. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Falko Bause |
Analysis of Petri Nets with a Dynamic Priority Method. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Stephan Melzer |
Model Checking LTL Using Constraint Programming. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Kummer, Mark-Oliver Stehr |
Petri's Axioms of Concurrency- A Selection of Recent Results. |
ICATPN |
1997 |
DBLP DOI BibTeX RDF |
Topics Axiomatic theory of concurrency/causality |