Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th ICATPN 2003: Eindhoven, The Netherlands
- Wil M. P. van der Aalst
, Eike Best:
Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings. Lecture Notes in Computer Science 2679, Springer 2003, ISBN 3-540-40334-5
Invited Papers
- Kurt Jensen:
Coloured Petri Nets: Status and Outlook. 1-2 - Hiroshi Matsuno, Sachie Fujita, Atsushi Doi, Masao Nagasaki, Satoru Miyano:
Towards Biopathway Modeling and Simulation. 3-22 - José Manuel Colom:
The Resource Allocation Problem in Flexible Manufacturing Systems. 23-35 - Marco Ajmone Marsan, Michele Garetto, Renato Lo Cigno, Michela Meo:
Colored GSPN Models for the QoS Design of Internet Subnets. 36 - Ed Brinksma:
Compositional Theories of Qualitative and Quantitative Behaviour. 37-42 - Clarence A. Ellis:
Net Models Supporting Human and Humane Behaviors. 43
Full Papers
- H. M. W. Verbeek, Twan Basten:
Deciding Life-Cycle Inheritance on Petri Nets. 44-63 - Éric Badouel, Jules Chenou:
Nets Enriched over Closed Monoidal Structures. 64-81 - Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier:
Automatic Symmetry Detection in Well-Formed Nets. 82-101 - Lawrence Cabac, Daniel Moldt, Heiko Rölke:
A Proposal for Structuring Petri Net-Based Agent Interaction Protocols. 102-120 - Michael Köhler, Daniel Moldt, Heiko Rölke:
Modelling Mobility and Mobile Agents Using Nets within Nets. 121-139 - Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello:
Modular System Development with Pullbacks. 140-160 - Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante:
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets. 161-180 - 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. 181-200 - Marko Mäkelä:
Model Checking Safety Properties in Modular High-Level Nets. 201-220 - Jorge Júlvez, Laura Recalde, Manuel Silva Suárez:
On Reachability in Autonomous Continuous Petri Net Systems. 221-240 - Spyros A. Reveliotis:
On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems. 241-255 - Jens Bæk Jørgensen:
Coloured Petri Nets in Development of a Pervasive Health Care System. 256-275 - Kurt Lautenbach:
Logical Reasoning and Petri Nets. 276-295 - Rik Eshuis, Juliane Dehnert:
Reactive Petri Nets for Workflow Modeling. 296-315 - Sahika Genc, Stéphane Lafortune:
Distributed Diagnosis of Discrete-Event Systems Using Petri Nets. 316-336 - Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. 337-356 - Gabriel Juhás, Robert Lorenz, Tomás Singliar:
On Synchronicity and Concurrency in Petri Nets. 357-376 - María E. Villapol, Jonathan Billington:
Analysing Properties of the Resource Reservation Protocol. 377-396 - Hans Fleischhack, Elisabeth Pelz:
Hierarchical Timed High Level Nets and Their Branching Processes. 397-416 - Satoshi Taoka, Shinji Furusato, Toshimasa Watanabe:
A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets. 417-439
Tool Papers
- Stéphane Klein, Georg Frey, Mark Minas:
PLC Programming with Signal Interpreted Petri Nets. 440-449 - 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. 450-462 - Claus Schröter, Stefan Schwoon, Javier Esparza:
The Model-Checking Kit. 463-472 - Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler:
Prototyping Object Oriented Specifications. 473-482
PNML Papers
- Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber:
The Petri Net Markup Language: Concepts, Technology, and Tools. 483-505
a service of 
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 2024-04-17 20:29 CEST 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:
