Average customer rating:
James L. Peterson
Manufacturer: Univ of Texas
ProductGroup: Book
Binding: Paperback
ASIN: B000J4WPXM
|
Average customer rating:
|
A Note on Colored Petri Nets - TR 136
James L. Peterson Manufacturer: Univ of Texas ProductGroup: Book Binding: Paperback ASIN: B000J4WPXM |
Average customer rating:
|
A formal modeling approach for supply chain event management [An article from: Decision Support Systems
R. Liu , A. Kumar , and W. van der Aalst Manufacturer: Elsevier ProductGroup: Book Binding: Digital  Management
| Management & Leadership
| Business & Investing
| Subjects
| Books
Management
| Business & Investing
| Subjects
| e-Docs
| Formats
| Books
Elsevier
| By Publisher
| e-Docs
| Formats
| Books
ASIN: B000PDYQFW |
Book Description
This digital document is a journal article from Decision Support Systems, published by Elsevier in 2007. The article is delivered in HTML format and is available in your Amazon.com Media Library immediately after purchase. You can view it with any web browser.<BR><BR><STRONG>Description:</STRONG><BR> As supply chains become more dynamic, there is a need for a sense-and-respond capability to react to events in a real-time manner. In this paper, we propose Petri nets extended with time and color (to represent case data) as a formalism for managing events. We designed seven basic patterns to capture modeling concepts that arise commonly in supply chains. These basic patterns may be used by themselves and also combined to create new patterns. We also show how to combine the patterns to build a complete Petri net and analyze it using dependency graphs and simulation. Dependency graphs can be used to analyze the various events and their causes. Simulation was, in addition, used to analyze various performance indicators (e.g., fill rates, replenishment times, and lead times) under different strategies. We showed it is possible to perform sensitivity analysis to study the effect of changing parameter values on the performance indicators. This approach thus makes a very complex problem tractable.
Average customer rating:
|
Application and Theory of Petri Nets 1997: 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings (Lecture Notes in Computer Science)
Manufacturer: Springer ProductGroup: Book Binding: Paperback Networks
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
General
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
Software Design
| Software Design
| Programming
| Computers & Internet
| Subjects
| Books
Workflow
| Business
| Software
| Computers & Internet
| Subjects
| Books
Theory of Computing
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
Computer Mathematics
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| Operating Systems
| Computers & Internet
| Subjects
| Books
General
| Science
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
All Amazon Upgrade
| Amazon Upgrade
| Stores
| Books
Computers & Internet
| Amazon Upgrade
| Stores
| Books
Science
| Amazon Upgrade
| Stores
| Books
Qualifying Textbooks - Spring 2007
| Stores
| Books
Workflow
| Business
| Software Books
| Custom Stores
| Stores
| Software
Software Design
| Design & Development
| Software Books
| Custom Stores
| Stores
| Software
ASIN: 3540631399 |
Book Description
This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997.The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed.
Average customer rating:
|
Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ... (Lecture Notes in Computer Science)
Manufacturer: Springer ProductGroup: Book Binding: Paperback Networks
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
General
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
Software Development
| Software Design
| Programming
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| System Architecture
| Hardware
| Computers & Internet
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
All Amazon Upgrade
| Amazon Upgrade
| Stores
| Books
Computers & Internet
| Amazon Upgrade
| Stores
| Books
Science
| Amazon Upgrade
| Stores
| Books
Software Development
| Design & Development
| Software Books
| Custom Stores
| Stores
| Software
ASIN: 3540346996 |
Book Description
This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2006, held in Turku, Finland in June 2006.
The 16 revised full papers and 6 revised tool papers presented together with 4 invited papers were carefully reviewed and selected from a total of 93 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed, in particular UML and Petri nets in software development, networking, workflow management, biochemical network analysis, systems modeling, process semantics probabilistic modeling, embedded systems, software services, performance analysis and simulation.
|
Average customer rating:
|
Petri Nets and Other Models of Concurrency - ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ... (Lecture Notes in Computer Science)
Manufacturer: Springer ProductGroup: Book Binding: Hardcover Networks
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
General
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
Fuzzy Logic
| Algorithms
| Programming
| Computers & Internet
| Subjects
| Books
Software Development
| Software Design
| Programming
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| System Architecture
| Hardware
| Computers & Internet
| Subjects
| Books
Software Development
| Design & Development
| Software Books
| Custom Stores
| Stores
| Software
ASIN: 3540730931 |
Book Description
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, in June 2007.
The 22 revised full papers and 3 revised tool papers presented together with 5 invited papers were carefully reviewed and selected from a total of 70 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed, in particular system design and verification, analysis, synthesis, structure and behaviour of nets, net theory and relations, causality/partial order theory of concurrency, semantic Web, logical and algebraic calculi, symbolic net representation, tools for nets, experience reports and case studies, educational issues, higher-level net models, timed and stochastic nets, as well as standardization of nets.
Average customer rating:
|
Application and Theory of Petri Nets 1993: 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings (Lecture Notes in Computer Science)
Manufacturer: Springer ProductGroup: Book Binding: Paperback Networks
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
General
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| System Architecture
| Hardware
| Computers & Internet
| Subjects
| Books
General
| Applied
| Mathematics
| Science
| Subjects
| Books
General
| Mathematics
| Science
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
ASIN: 3540568638 |
Book Description
This volume contains the proceedings of the 14th International Conference onApplication and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 150-200 participants, one third of whom come from industry, while the rest are from universities and research institutes. The volume includes three invited papers, "Modeling and enactment of workflow systems" (C.A. Ellis, G.J. Nutt), "Interleaving functional and performance structural analysis of net models" (M. Silva), and "FSPNs: fluid stochastic Petri nets" (K.S. Trivedi, V.G. Kulkarni), together with 26 full papers (selected from 102 submissions) and 6 project papers.
Average customer rating:
|
Application and Theory of Petri Nets 2001
Manufacturer: Springer ProductGroup: Book Binding: Paperback Distributed Computing
| Data Storage & Management
| Databases
| Computers & Internet
| Subjects
| Books
Software Development
| Software Design
| Programming
| Computers & Internet
| Subjects
| Books
General
| Programming
| Computers & Internet
| Subjects
| Books
Theory of Computing
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
Computer Mathematics
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| Mathematics
| Science
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
General
| Medicine
| Subjects
| Books
Qualifying Textbooks - Spring 2007
| Stores
| Books
Software Development
| Design & Development
| Software Books
| Custom Stores
| Stores
| Software
ASIN: 3540422528 |
Book Description
This book constitutes the refereed proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN 2001, held in Newcastle upon Tyne, UK in June 2001. The 19 revised full papers presented together with three invited papers were carefully reviewed and selected from 48 submissions. All current issues on research and development of Petri nets are addressed, in particular timed, stochastic, colored, symmetrical, and high-level Petri nets; formal verification, model checking, embedded systems, real-time systems, dependable computing, and state spaces.
Average customer rating:
|
Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings (Lecture Notes in Computer Science)
Manufacturer: Springer ProductGroup: Book Binding: Hardcover Distributed Computing
| Data Storage & Management
| Databases
| Computers & Internet
| Subjects
| Books
Networks
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
General
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
Software Development
| Software Design
| Programming
| Computers & Internet
| Subjects
| Books
Information Systems
| Software Engineering
| Computer Science
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
All Amazon Upgrade
| Amazon Upgrade
| Stores
| Books
Computers & Internet
| Amazon Upgrade
| Stores
| Books
Qualifying Textbooks - Spring 2007
| Stores
| Books
Software Development
| Design & Development
| Software Books
| Custom Stores
| Stores
| Software
ASIN: 3540263012 |
Book Description
This book constitutes the refereed proceedings of the 26th International Conference on Applications and Theory of Petri Nets, ICATPN 2005, held in Miami, USA in June 2005. The 20 revised full regular papers and 3 revised tool presentation papers presented together with 4 invited papers were carefully reviewed and selected from 69 submissions. All current issues on research and development in the area of Petri nets are addressed, in particular concurrent systems design and analysis, modular systems development, formal specification, model validation, model checking, workflow management, flow charts, networking, formal methods in software engineering, etc.
Average customer rating:
|
Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings (Lecture Notes in Computer Science)
Manufacturer: Springer ProductGroup: Book Binding: Paperback Computer Design
| Microprocessors & System Design
| Hardware
| Computers & Internet
| Subjects
| Books
Networks
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
Software Design
| Software Design
| Programming
| Computers & Internet
| Subjects
| Books
Computer Mathematics
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| Science
| Subjects
| Books
General
| Mathematics
| Science
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
General
| Medicine
| Subjects
| Books
All Amazon Upgrade
| Amazon Upgrade
| Stores
| Books
Computers & Internet
| Amazon Upgrade
| Stores
| Books
Medicine
| Amazon Upgrade
| Stores
| Books
Science
| Amazon Upgrade
| Stores
| Books
Qualifying Textbooks - Spring 2007
| Stores
| Books
Software Design
| Design & Development
| Software Books
| Custom Stores
| Stores
| Software
ASIN: 3540661328 |
Book Description
This book constitutes the refereed proceedings of the 20th International Conference on Application and Theory of Petri Nets, ICATPN'99, held in Williamsburg, Virginia, USA, in June 1999.The 21 revised full papers presented were carefully selected from 45 submissions. Also included are three invited presentations. The book presents state-of-the-art research results on all current aspects of Petri nets as well as advanced applications in a variety of areas.
Average customer rating:
|
Applications and Theory of Petri Nets 2002
Manufacturer: Springer ProductGroup: Book Binding: Paperback Distributed Computing
| Data Storage & Management
| Databases
| Computers & Internet
| Subjects
| Books
Networks
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
General
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
General
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
Machine Learning
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
Theory of Computing
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
Computer Mathematics
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
Systems Analysis & Design
| Computer Science
| Computers & Internet
| Subjects
| Books
General
| Computer Science
| Computers & Internet
| Subjects
| Books
Software Design
| Software Design
| Programming
| Computers & Internet
| Subjects
| Books
General
| Programming
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| Mathematics
| Science
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
General
| Medicine
| Subjects
| Books
All Amazon Upgrade
| Amazon Upgrade
| Stores
| Books
Computers & Internet
| Amazon Upgrade
| Stores
| Books
Medicine
| Amazon Upgrade
| Stores
| Books
Science
| Amazon Upgrade
| Stores
| Books
Qualifying Textbooks - Spring 2007
| Stores
| Books
Software Design
| Design & Development
| Software Books
| Custom Stores
| Stores
| Software
ASIN: 3540437878 |
Book Description
This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN 2002, held in Adelaide, Australia, in June 2002.The 18 regular papers and one tool presentation presented together with six invited paper were carefully reviewed and selected from 45 submissions. All current issues on research and development of Petri nets are addressed, in particular concurrent systems analysis, model validation, business process management, reactive systems, workflow processes, wireless transaction protocols.Programming Book: