Petri Nets and Other Models of Concurrency - ICATPN 2007

28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings

AvJetty Kleijn,Alex Yakovlev

Häftad, Engelska, 2007

Del i serien Lecture Notes in Computer Science

554 kr

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

Beskrivning

This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, held in Siedlce, Poland. It covers all current issues on research and development in the area of Petri nets and modeling of concurrent systems including system design and verification, structure and behavior of nets, logical and algebraic calculi, and standardization of nets.

Produktinformation

Utgivningsdatum:2007-06-18
Mått:155 x 235 x 29 mm
Vikt:797 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:515
Upplaga:2007
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540730934

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

Invited Papers.- Petri Nets, Discrete Physics, and Distributed Quantum Computation.- Autonomous Distributed System and Its Realization by Multi Agent Nets.- Petri Nets Without Tokens.- Toward Specifications for Reconfigurable Component Systems.- Generating Petri Net State Spaces.- Full Papers.- Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.- Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets.- Improving Static Variable Orders Via Invariants.- Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.- From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.- A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms.- History-Dependent Petri Nets.- Complete Process Semantics for Inhibitor Nets.- Behaviour-Preserving Transition Insertions in Unfolding Prefixes.- Combining Decomposition and Unfolding for STG Synthesis.- Object Nets for Mobility.- Web Service Orchestration with Super-Dual Object Nets.- Synthesis of Elementary Net Systems with Context Arcs and Localities.- Nets with Tokens Which Carry Data.- Operating Guidelines for Finite-State Services.- Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios.- Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery.- Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets.- Name Creation vs. Replication in Petri Net Systems.- Modelling the Datagram Congestion Control Protocol’s Connection Management and Synchronization Procedures.- The ComBack Method – Extending Hash Compaction with Backtracking.- Computing Minimal Elements of Upward-Closed Sets for Petri Nets.- Tool Papers.- ProM 4.0:Comprehensive Support for Real Process Analysis.- dmcG: A Distributed Symbolic Model Checker Based on GreatSPN.- Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool.

Mer från samma författare

Application and Theory of Petri Nets 1999

Jetty Kleijn, Susanna Donatelli

E-bok

2003

712 kr

Application and Theory of Petri Nets 1999

Susanna Donatelli, Jetty Kleijn

Häftad, 1999

554 kr

Petri Nets and Other Models of Concurrency - ICATPN 2007

Alex Yakovlev, Jetty Kleijn

E-bok

2007

718 kr

Transactions on Petri Nets and Other Models of Concurrency VI

Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars M. Kristensen

Häftad, 2012

571 kr

Transactions on Petri Nets and Other Models of Concurrency VI

Lars M. Kristensen, Jetty Kleijn, Giuliana Franceschinis, Marco Ajmone Marsan, Wil M. P. van der Aalst

E-bok

2012

739 kr

Transactions on Petri Nets and Other Models of Concurrency XI

Maciej Koutny, Jörg Desel, Jetty Kleijn

Häftad, 2016

571 kr

Transactions on Petri Nets and Other Models of Concurrency XI

Jetty Kleijn, Jorg Desel, Maciej Koutny

E-bok

2016

739 kr

Transactions on Petri Nets and Other Models of Concurrency XII

Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang

Häftad, 2017

571 kr

Transactions on Petri Nets and Other Models of Concurrency XII

Mingmin Zhang, Wojciech Penczek, Jetty Kleijn, Maciej Koutny

E-bok

2017

739 kr

Del 1020

Paradigms of Concurrency

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski

Inbunden, 2022

1 811 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

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Petri Nets and Other Models of Concurrency - ICATPN 2007

Alex Yakovlev, Jetty Kleijn

E-bok

2007

718 kr

Transactions on Petri Nets and Other Models of Concurrency VI

Lars M. Kristensen, Jetty Kleijn, Giuliana Franceschinis, Marco Ajmone Marsan, Wil M. P. van der Aalst

E-bok

2012

739 kr

Application and Theory of Petri Nets 1999

Susanna Donatelli, Jetty Kleijn

Häftad, 1999

554 kr

Transactions on Petri Nets and Other Models of Concurrency XVIII

Lukasz Mikulski, Maciej Koutny, Jetty Kleijn, Jorg Desel, Laure Petrucci, Fabrice Kordon

E-bok

2026

1 067 kr

Paradigms of Concurrency

Lukasz Mikulski, Maciej Koutny, Jetty Kleijn, Ryszard Janicki

E-bok

2022

2 291 kr

Transactions on Petri Nets and Other Models of Concurrency XII

Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang

Häftad, 2017

571 kr

Transactions on Petri Nets and Other Models of Concurrency XI

Maciej Koutny, Jörg Desel, Jetty Kleijn

Häftad, 2016

571 kr

Application and Theory of Petri Nets 1999

Jetty Kleijn, Susanna Donatelli

E-bok

2003

712 kr

Transactions on Petri Nets and Other Models of Concurrency XII

Mingmin Zhang, Wojciech Penczek, Jetty Kleijn, Maciej Koutny

E-bok

2017

739 kr

Petri Nets and Other Models of Concurrency - ICATPN 2007

28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings

AvJetty Kleijn,Alex Yakovlev

Häftad, Engelska, 2007

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:2007-06-18
Mått:155 x 235 x 29 mm
Vikt:797 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:515
Upplaga:2007
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540730934

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

Invited Papers.- Petri Nets, Discrete Physics, and Distributed Quantum Computation.- Autonomous Distributed System and Its Realization by Multi Agent Nets.- Petri Nets Without Tokens.- Toward Specifications for Reconfigurable Component Systems.- Generating Petri Net State Spaces.- Full Papers.- Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.- Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets.- Improving Static Variable Orders Via Invariants.- Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.- From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.- A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms.- History-Dependent Petri Nets.- Complete Process Semantics for Inhibitor Nets.- Behaviour-Preserving Transition Insertions in Unfolding Prefixes.- Combining Decomposition and Unfolding for STG Synthesis.- Object Nets for Mobility.- Web Service Orchestration with Super-Dual Object Nets.- Synthesis of Elementary Net Systems with Context Arcs and Localities.- Nets with Tokens Which Carry Data.- Operating Guidelines for Finite-State Services.- Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios.- Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery.- Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets.- Name Creation vs. Replication in Petri Net Systems.- Modelling the Datagram Congestion Control Protocol’s Connection Management and Synchronization Procedures.- The ComBack Method – Extending Hash Compaction with Backtracking.- Computing Minimal Elements of Upward-Closed Sets for Petri Nets.- Tool Papers.- ProM 4.0:Comprehensive Support for Real Process Analysis.- dmcG: A Distributed Symbolic Model Checker Based on GreatSPN.- Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool.

Mer från samma författare

Application and Theory of Petri Nets 1999

Jetty Kleijn, Susanna Donatelli

E-bok

2003

712 kr

Application and Theory of Petri Nets 1999

Susanna Donatelli, Jetty Kleijn

Häftad, 1999

554 kr

Petri Nets and Other Models of Concurrency - ICATPN 2007

Alex Yakovlev, Jetty Kleijn

E-bok

2007

718 kr

Transactions on Petri Nets and Other Models of Concurrency VI

Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars M. Kristensen

Häftad, 2012

571 kr

Transactions on Petri Nets and Other Models of Concurrency VI

Lars M. Kristensen, Jetty Kleijn, Giuliana Franceschinis, Marco Ajmone Marsan, Wil M. P. van der Aalst

E-bok

2012

739 kr

Transactions on Petri Nets and Other Models of Concurrency XI

Maciej Koutny, Jörg Desel, Jetty Kleijn

Häftad, 2016

571 kr

Transactions on Petri Nets and Other Models of Concurrency XI

Jetty Kleijn, Jorg Desel, Maciej Koutny

E-bok

2016

739 kr

Transactions on Petri Nets and Other Models of Concurrency XII

Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang

Häftad, 2017

571 kr

Transactions on Petri Nets and Other Models of Concurrency XII

Mingmin Zhang, Wojciech Penczek, Jetty Kleijn, Maciej Koutny

E-bok

2017

739 kr

Del 1020

Paradigms of Concurrency

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski

Inbunden, 2022

1 811 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