default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th ICATPN 1997: Toulouse, France
- Pierre Azéma, Gianfranco Balbo:
Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings. Lecture Notes in Computer Science 1248, Springer 1997, ISBN 3-540-63139-9
Invited Papers
- Javier Esparza
, Stephan Melzer:
Model Checking LTL Using Constraint Programming. 1-20 - Joseph Sifakis:
On the Composition of Timed Systems. 21-22 - Robert Valette:
Some Issues About Petri Net Application to Manufacturing and Process Supervisory Control. 23-41
Regular Papers
- Charles Lakos:
On the Abstraction of Coloured Petri Nets. 42-61 - Wil M. P. van der Aalst, Twan Basten:
Life-Cycle Inheritance: A Petri-Net-Based Approach. 62-81 - Daniel Moldt, Frank Wienberg:
Multi-Agent-Systems Based on Coloured Petri Nets. 82-101 - Peter Habermehl:
On the Complexity of the Linear-Time mu -calculus for Petri-Nets. 102-116 - Wojciech Fraczak, Elisabeth Pelz:
Improved Implementations via a New Structural Equivalence on Labelled Nets. 117-135 - Tuomas Aura, Johan Lilius:
Time Processes for Time Petri-Nets. 136-155 - Makoto Tanabe:
Timed Petri Nets and Temporal Linear Logic. 156-174 - Serge Haddad, Patrice Moreaux, Giovanni Chiola:
Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets. 175-194 - Olaf Kummer, Mark-Oliver Stehr:
Petri's Axioms of Concurrency- A Selection of Recent Results. 195-214 - Falko Bause:
Analysis of Petri Nets with a Dynamic Priority Method. 215-234 - Ekkart Kindler:
A Compositional Partial Order Semantics for Petri Net Components. 235-252 - François Vernadat, François Michel:
Covering Step Graph Preserving Failure Semantics. 253-270 - Karsten Schmidt:
Siphons, Traps and High-Level Nets with Infinite Color Domains. 271-289 - Søren Christensen, Kjeld Høyer Mortensen:
Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course. 290-309 - Marta Pietkiewicz-Koutny:
Transition Systems of Elementary Net Systems with Inhibitor Arcs. 310-327 - Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev:
Coupling Asynchrony and Interrupts: Place Chart Nets. 328-347 - Luigi Portinale:
Modeling and Solving Constraint Satisfaction Problems through Petri Nets. 348-366 - Renée Boubour, Claude Jard:
Fault Detection in Telecommunication Networks Based on a Petri Net Representation of Alarm Propagation. 367-386 - Søren Christensen, Jens Bæk Jørgensen:
Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. 387-406 - Wil M. P. van der Aalst:
Verification of Workflow Nets. 407-426 - Karsten Schmidt:
Verification of Siphons and Traps for Algebraic Petri Nets. 427-446 - Eike Best, Thomas Thielke:
Orthogonal Transformations for Coloured Petri Nets. 447-466
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-20 19:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
