Search results for "ICATPN"

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

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