Applications and Theory of Petri Nets 2003

24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings

AvWil van der Aalst,Eike Best

Häftad, Engelska, 2003

Del i serien Lecture Notes in Computer Science

554 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

The refereed proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN 2003, held in Eindhoven, The Netherlands, in June 2003. The 25 revised full papers presented together with 6 invited contributions were carefully reviewed and selected from 77 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, model checking, networking, business process modeling, formal methods in software engineering, agent systems, systems specification, systems validation, discrete event systems, protocols, and prototyping.

Produktinformation

Utgivningsdatum:2003-06-04
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:508
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540403340

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

Invited Papers.- Coloured Petri Nets: Status and Outlook.- Towards Biopathway Modeling and Simulation.- The Resource Allocation Problem in Flexible Manufacturing Systems.- Colored GSPN Models for the QoS Design of Internet Subnets.- Compositional Theories of Qualitative and Quantitative Behaviour.- Net Models Supporting Human and Humane Behaviors.- Full Papers.- Deciding Life-Cycle Inheritance on Petri Nets.- Nets Enriched over Closed Monoidal Structures.- Automatic Symmetry Detection in Well-Formed Nets.- A Proposal for Structuring Petri Net-Based Agent Interaction Protocols.- Modelling Mobility and Mobile Agents Using Nets within Nets.- Modular System Development with Pullbacks.- Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets.- On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers.- Model Checking Safety Properties in Modular High-Level Nets.- On Reachability in Autonomous Continuous Petri Net Systems.- On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems.- Coloured Petri Nets in Development of a Pervasive Health Care System.- Logical Reasoning and Petri Nets.- Reactive Petri Nets for Workflow Modeling.- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets.- Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.- On Synchronicity and Concurrency in Petri Nets.- Analysing Properties of the Resource Reservation Protocol.- Hierarchical Timed High Level Nets and Their Branching Processes.- A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets.- Tool Papers.- PLC Programming with Signal Interpreted Petri Nets.- CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.- The Model-Checking Kit.- Prototyping Object Oriented Specifications.- PNML Paper.- The Petri Net Markup Language: Concepts, Technology, and Tools.

Mer från samma författare

Fundamental Approaches to Software Engineering

Wil Van Der Aalst, Reiner Hähnle

Häftad, 2020

737 kr

Fundamental Approaches to Software Engineering

Wil Van Der Aalst, Reiner Hähnle

Inbunden, 2020

805 kr

Handbook of Research on Business Process Modeling

Jorge Cardoso, Wil Van Der Aalst

Inbunden, 2009

3 460 kr

Handbook of Research on Business Process Modeling

Wil van der Aalst, Jorge Cardoso

E-bok

2009

4 105 kr

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst

Häftad, 2019

571 kr

Internet of Production

Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg

Inbunden, 2023

554 kr

Internet of Production

Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg

Häftad, 2023

445 kr

Del 10258

Application and Theory of Petri Nets and Concurrency

Wil van der Aalst, Eike Best

Häftad, 2017

572 kr

Application and Theory of Petri Nets and Concurrency

Eike Best, Wil van der Aalst

E-bok

2017

739 kr

Business Process Management

Wil van der Aalst, Arthur ter Hofstede, Mathias Weske

Häftad, 2003

1 078 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051

Sustainable Digital Communities

Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad

Häftad, 2020

1 071 kr

Types for Proofs and Programs

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

Häftad, 2000

571 kr

Del 13216

Requirements Engineering: Foundation for Software Quality

Vincenzo Gervasi, Andreas Vogelsang

Häftad, 2022

627 kr

Component-Based Software Engineering

Heinz G. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford

Häftad, 2007

571 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr

Application and Theory of Petri Nets and Concurrency

Eike Best, Wil van der Aalst

E-bok

2017

739 kr

Del 10258

Application and Theory of Petri Nets and Concurrency

Wil van der Aalst, Eike Best

Häftad, 2017

572 kr

Applications and Theory of Petri Nets 2003

Eike Best, Wil van der Aalst

E-bok

2007

718 kr

Business Process Management

Wil van der Aalst, Arthur ter Hofstede, Mathias Weske

Häftad, 2003

1 078 kr

Business Process Management

Mathias Weske, Arthur ter Hofstede, Wil van der Aalst

E-bok

2003

1 404 kr

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst

Häftad, 2019

571 kr

Internet of Production

Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg

Häftad, 2023

445 kr

Fundamental Approaches to Software Engineering

Wil Van Der Aalst, Reiner Hähnle

Häftad, 2020

737 kr

Jenseits von Text und Bild - Generative KI für vielfältige Datenwelten

Nicolas Bach, Varun Gowtham, Jan Hamaekers, Dirk Hecker, Sonja Holl-Supra, Maximilian Hörstrup, Bjarne Huuck, Wilhelm Jaspers, Wolfgang Kratsch, Christopher Krauss, Jonathan Krauß, Christian Beecks, Christian Kühnert, André Kummerow, Matthis Leicht, Pascal Nicolai Linden, Miriam Mock, Christopher Mutschler, Jonathan Ott, Felix Ott, Gerhard Paass, Gyunam Pak, Gesa Benndorf, Janko Petereit, Christian Pionzewski, Andrej Plenne, Florian Rippstein, Maximilian Röglinger, Daniel Scherer, Daniel Schulz, Maximilian Stahlke, Ina Steinmetz, Florian Strohm, Julia Burr, Ljiljana Stojanovic, Niklas Uhl, Christian Ufrecht, Wil Van Der Aalst, Angelika Voß, Andreas Wilde, Tim Wirtz, Alper Yaman, Mathias Ziebarth, Alexander Zorn, Franziska Dechert, Frederik Diederichs, Hartmut Eigenbrod, Georg Fuchs, Alexander Graß, Fraunhofer-Allianz Big Data und Künstliche Intelligenz

Häftad, 2025

574 kr

Applications and Theory of Petri Nets 2003

24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings

AvWil van der Aalst,Eike Best

Häftad, Engelska, 2003

Del i serien Lecture Notes in Computer Science

554 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:2003-06-04
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:508
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540403340

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

Invited Papers.- Coloured Petri Nets: Status and Outlook.- Towards Biopathway Modeling and Simulation.- The Resource Allocation Problem in Flexible Manufacturing Systems.- Colored GSPN Models for the QoS Design of Internet Subnets.- Compositional Theories of Qualitative and Quantitative Behaviour.- Net Models Supporting Human and Humane Behaviors.- Full Papers.- Deciding Life-Cycle Inheritance on Petri Nets.- Nets Enriched over Closed Monoidal Structures.- Automatic Symmetry Detection in Well-Formed Nets.- A Proposal for Structuring Petri Net-Based Agent Interaction Protocols.- Modelling Mobility and Mobile Agents Using Nets within Nets.- Modular System Development with Pullbacks.- Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets.- On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers.- Model Checking Safety Properties in Modular High-Level Nets.- On Reachability in Autonomous Continuous Petri Net Systems.- On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems.- Coloured Petri Nets in Development of a Pervasive Health Care System.- Logical Reasoning and Petri Nets.- Reactive Petri Nets for Workflow Modeling.- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets.- Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.- On Synchronicity and Concurrency in Petri Nets.- Analysing Properties of the Resource Reservation Protocol.- Hierarchical Timed High Level Nets and Their Branching Processes.- A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets.- Tool Papers.- PLC Programming with Signal Interpreted Petri Nets.- CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.- The Model-Checking Kit.- Prototyping Object Oriented Specifications.- PNML Paper.- The Petri Net Markup Language: Concepts, Technology, and Tools.

Mer från samma författare

Fundamental Approaches to Software Engineering

Wil Van Der Aalst, Reiner Hähnle

Häftad, 2020

737 kr

Fundamental Approaches to Software Engineering

Wil Van Der Aalst, Reiner Hähnle

Inbunden, 2020

805 kr

Handbook of Research on Business Process Modeling

Jorge Cardoso, Wil Van Der Aalst

Inbunden, 2009

3 460 kr

Handbook of Research on Business Process Modeling

Wil van der Aalst, Jorge Cardoso

E-bok

2009

4 105 kr

Fundamental Approaches to Software Engineering

Reiner Hähnle, Wil van der Aalst

Häftad, 2019

571 kr

Internet of Production

Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg

Inbunden, 2023

554 kr

Internet of Production

Christian Brecher, Günther Schuh, Wil van der Aalst, Matthias Jarke, Frank T. Piller, Melanie Padberg

Häftad, 2023

445 kr

Del 10258

Application and Theory of Petri Nets and Concurrency

Wil van der Aalst, Eike Best

Häftad, 2017

572 kr

Application and Theory of Petri Nets and Concurrency

Eike Best, Wil van der Aalst

E-bok

2017

739 kr

Business Process Management

Wil van der Aalst, Arthur ter Hofstede, Mathias Weske

Häftad, 2003

1 078 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051