Applications and Theory of Petri Nets 2004 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2004.
|
| Σειρά: | Lecture Notes in Computer Science,
3099 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Invited papers
- Positive Non-interference in Elementary and Trace Nets
- Reachability Set Generation for Petri Nets: Can Brute Force Be Smart?
- Embedded Software: Better Models, Better Code
- Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata
- Formal Tools for Modular System Development
- Stochastic Methods for Dependability, Performability, and Security Evaluation
- Full papers
- Composition of Temporal Logic Specifications
- On the Use of Coloured Petri Nets for Object-Oriented Design
- Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets
- Finite Unfoldings of Unbounded Petri Nets
- Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys
- Generalised Soundness of Workflow Nets Is Decidable
- Petri Net Based Model Validation in Systems Biology
- Synthesis of Controlled Behavior with Modules of Signal Nets
- New Canonical Representative Marking Algorithms for Place/Transition-Nets
- Properties of Object Petri Nets
- LTL Model Checking for Modular Petri Nets
- Covering Fairness against Conspiracies
- Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods
- A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets
- Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation
- Transit Case Study
- Eliminating Internal Behaviour in Petri Nets
- Infinity of Intermediate States Is Decidable for Petri Nets
- Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations
- Tool Papers
- EMiT: A Process Mining Tool
- 3D-Visualization of Petri Net Models: Concept and Realization
- An Approach to Distributed State Space Exploration for Coloured Petri Nets
- An Extensible Editor and Simulation Engine for Petri Nets: Renew
- Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower.
