Applications and theory of Petri Nets 2003 : 24th international conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003 : proceedings
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | , |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Saila: | Lecture notes in computer science
2679 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Applications and theory of Petri Nets 2003, 24th international conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, proceedings, Wil van der Aalst, Eike Best (eds.), Berlin, Springer, 2003, 1 vol. (XI-508 p.), Lecture notes in computer science, 3-540-40334-5 • Applications and Theory of Petri Nets 2003, Texte imprimé, 9783662185735 |
Aurkibidea:
- 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.