Applications and theory of Petri nets 2004 : 25th international conference, ICATPN 2004, Bologna, Italy, June
Author: International Conference on Applications and Theory of Petri Nets (25th : 2004 : Bologna, Italy), Cortadella, J. (Jordi), 1962-, Reisig, Wolfgang, 1950-
Added by: sketch
Added Date: 2015-12-29
Language: eng
Subjects: Petri nets, Application industrielle, Redes de petri (congressos), Réseau de Petri, Pétri, Réseaux de, Petri nets, Redes de petri (congressos), Réseau de Petri, Application industrielle, Petri-Netz, Petri-Netz
Publishers: Berlin ; New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540222367, 9783540222361
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 262.60 MB
PDF Size: 5.88 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 216
Views: 266
Total Files: 18
Media Type: texts
Total Files: 5
Last Modified: 2022-03-09 10:12:44
Size: 14.22 KB
Description
Author: Jordi Cortadella, Wolfgang Reisig
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-22236-1
DOI: 10.1007/b98283
Table of Contents:
- 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
- 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
Includes bibliographical references and author index