Applications and Theory of Petri Nets 2004 : 25th International Conference, ICATPN 2004, Bologna, Italy, June 21 25, 2004. Proceedings
Shranjeno v:
| Glavni avtor: | |
|---|---|
| Korporativna značnica: | |
| Drugi avtorji: | |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science
3099 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
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 2004, 25th international conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, proceedings, Jordi Cortadella, Wolfgang Reisig (eds.), Berlin, Springer, 2004, 1 vol. (XI-503 p.), Lecture notes in computer science, 3-540-22236-7 • Applications and Theory of Petri Nets 2004, Texte imprimé, 9783662165171 |
Kazalo:
- 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.