Applications and Theory of Petri Nets
Home > Computing and Information Technology > Computer science > Mathematical theory of computation > Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings(Theoretical Computer Science and General Issues)
Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings(Theoretical Computer Science and General Issues)

Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings(Theoretical Computer Science and General Issues)


     0     
5
4
3
2
1



International Edition


About the Book

This volume consists of the proceedings of the 31th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010). The Petri Net conferences serve as annual meeting places to discuss the progress in the ?eld of Petri nets and related models of conc- rency. They provide a forum for researchers to present and discuss both app- cations and theoretical developments in this area. Novel tools and substantial enhancements to existing tools can also be presented. The satellite program of the conference comprised ?ve workshops and three tutorials. This year, the c- ference was co-located with the 10th International Conference on Application of Concurrency to System Design (ACSD 2010). The two conferences shared ?ve invited speakers. Detailed information about PETRI NETS 2010 can be found at http://petrinets2010. di. uminho. pt. The PETRI NETS 2010 conference was organized by the Universidade du Minho and the Instituto Polytecnico de Beja. It took place in Braga, Portugal during June 21-25, 2010. We would like to express our deepest thanks to the Organizing Committee, chaired by Joao M. Fernandes, for the time and e?ort invested in the conference and for all the help with local organization. We are also grateful for the ?nancial support by Centro de Ciencias e Tecnologias de Computacao. Thisyearthenumberofsubmittedpapersamountedto50,whichincluded43 full papers and 7 tool papers. The authors of the papers come from 20 di?erent countries. We thank allthe authorswho submitted their papers.

Table of Contents:
Invited Papers.- Instance Deadlock: A Mystery behind Frozen Programs.- Some Thoughts on Behavioral Programming.- Petri Nets with Localities and Testing.- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future.- Full Papers.- Can Stubborn Sets Be Optimal?.- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition.- Canonical Transition Set Semantics for Petri Nets.- A Characterization of Combined Traces Using Labeled Stratified Order Structures.- Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets.- The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.- Factorization Properties of Symbolic Unfoldings of Colored Petri Nets.- Forward Analysis for Petri Nets with Name Creation.- Learning Workflow Petri Nets.- Process Mining from a Basis of State Regions.- Separability in Persistent Petri Nets.- New Algorithms for Deciding the Siphon-Trap Property.- Tool Papers.- AlPiNA: A Symbolic Model Checker.- Wendy: A Tool to Synthesize Partners for Services.- GreatSPN Enhanced with Decision Diagram Data Structures.- PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language.


Best Sellers


Product Details
  • ISBN-13: 9783642136740
  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Publisher Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Language: English
  • Returnable: Y
  • Series Title: Theoretical Computer Science and General Issues
  • ISBN-10: 3642136745
  • Publisher Date: 09 Jun 2010
  • Binding: Paperback
  • No of Pages: 329
  • Series Title: Theoretical Computer Science and General Issues
  • Sub Title: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings


Similar Products

Add Photo
Add Photo

Customer Reviews

REVIEWS      0     
Click Here To Be The First to Review this Product
Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings(Theoretical Computer Science and General Issues)
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG -
Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings(Theoretical Computer Science and General Issues)
Writing guidlines
We want to publish your review, so please:
  • keep your review on the product. Review's that defame author's character will be rejected.
  • Keep your review focused on the product.
  • Avoid writing about customer service. contact us instead if you have issue requiring immediate attention.
  • Refrain from mentioning competitors or the specific price you paid for the product.
  • Do not include any personally identifiable information, such as full names.

Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings(Theoretical Computer Science and General Issues)

Required fields are marked with *

Review Title*
Review
    Add Photo Add up to 6 photos
    Would you recommend this product to a friend?
    Tag this Book Read more
    Does your review contain spoilers?
    What type of reader best describes you?
    I agree to the terms & conditions
    You may receive emails regarding this submission. Any emails will include the ability to opt-out of future communications.

    CUSTOMER RATINGS AND REVIEWS AND QUESTIONS AND ANSWERS TERMS OF USE

    These Terms of Use govern your conduct associated with the Customer Ratings and Reviews and/or Questions and Answers service offered by Bookswagon (the "CRR Service").


    By submitting any content to Bookswagon, you guarantee that:
    • You are the sole author and owner of the intellectual property rights in the content;
    • All "moral rights" that you may have in such content have been voluntarily waived by you;
    • All content that you post is accurate;
    • You are at least 13 years old;
    • Use of the content you supply does not violate these Terms of Use and will not cause injury to any person or entity.
    You further agree that you may not submit any content:
    • That is known by you to be false, inaccurate or misleading;
    • That infringes any third party's copyright, patent, trademark, trade secret or other proprietary rights or rights of publicity or privacy;
    • That violates any law, statute, ordinance or regulation (including, but not limited to, those governing, consumer protection, unfair competition, anti-discrimination or false advertising);
    • That is, or may reasonably be considered to be, defamatory, libelous, hateful, racially or religiously biased or offensive, unlawfully threatening or unlawfully harassing to any individual, partnership or corporation;
    • For which you were compensated or granted any consideration by any unapproved third party;
    • That includes any information that references other websites, addresses, email addresses, contact information or phone numbers;
    • That contains any computer viruses, worms or other potentially damaging computer programs or files.
    You agree to indemnify and hold Bookswagon (and its officers, directors, agents, subsidiaries, joint ventures, employees and third-party service providers, including but not limited to Bazaarvoice, Inc.), harmless from all claims, demands, and damages (actual and consequential) of every kind and nature, known and unknown including reasonable attorneys' fees, arising out of a breach of your representations and warranties set forth above, or your violation of any law or the rights of a third party.


    For any content that you submit, you grant Bookswagon a perpetual, irrevocable, royalty-free, transferable right and license to use, copy, modify, delete in its entirety, adapt, publish, translate, create derivative works from and/or sell, transfer, and/or distribute such content and/or incorporate such content into any form, medium or technology throughout the world without compensation to you. Additionally,  Bookswagon may transfer or share any personal information that you submit with its third-party service providers, including but not limited to Bazaarvoice, Inc. in accordance with  Privacy Policy


    All content that you submit may be used at Bookswagon's sole discretion. Bookswagon reserves the right to change, condense, withhold publication, remove or delete any content on Bookswagon's website that Bookswagon deems, in its sole discretion, to violate the content guidelines or any other provision of these Terms of Use.  Bookswagon does not guarantee that you will have any recourse through Bookswagon to edit or delete any content you have submitted. Ratings and written comments are generally posted within two to four business days. However, Bookswagon reserves the right to remove or to refuse to post any submission to the extent authorized by law. You acknowledge that you, not Bookswagon, are responsible for the contents of your submission. None of the content that you submit shall be subject to any obligation of confidence on the part of Bookswagon, its agents, subsidiaries, affiliates, partners or third party service providers (including but not limited to Bazaarvoice, Inc.)and their respective directors, officers and employees.

    Accept

    New Arrivals

    Inspired by your browsing history


    Your review has been submitted!

    You've already reviewed this product!