Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
2010 Seventh International Conference on the Quantitative Evaluation of Systems
| 2010 Seventh International Conference on the Quantitative Evaluation of Systems |
| Pubbl/distr/stampa | [Place of publication not identified], : I E E E, 2010 |
| Disciplina | 621.39 |
| Soggetto topico |
Computer systems - Evaluation
Computer networks - Evaluation Reliability (Engineering) Petri nets Machine theory Engineering & Applied Sciences Computer Science |
| ISBN | 0-7695-4188-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Seventh International Conference on the Quantitative Evaluation of Systems |
| Record Nr. | UNISA-996206444103316 |
| [Place of publication not identified], : I E E E, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2010 Seventh International Conference on the Quantitative Evaluation of Systems
| 2010 Seventh International Conference on the Quantitative Evaluation of Systems |
| Pubbl/distr/stampa | [Place of publication not identified], : I E E E, 2010 |
| Disciplina | 621.39 |
| Soggetto topico |
Computer systems - Evaluation
Computer networks - Evaluation Reliability (Engineering) Petri nets Machine theory Engineering & Applied Sciences Computer Science |
| ISBN | 0-7695-4188-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Seventh International Conference on the Quantitative Evaluation of Systems |
| Record Nr. | UNINA-9910619141003321 |
| [Place of publication not identified], : I E E E, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
9th Petri Nets and Performance Models: Proceedings of the International Workshop 2001: Aachen, Germany
| 9th Petri Nets and Performance Models: Proceedings of the International Workshop 2001: Aachen, Germany |
| Autore | German Reinhard |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2001 |
| Descrizione fisica | 1 online resource (x, 261 pages) : illustrations |
| Disciplina | 511.3 |
| Soggetto topico | Petri nets |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996201416703316 |
German Reinhard
|
||
| [Place of publication not identified], : IEEE Computer Society Press, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
9th Petri Nets and Performance Models: Proceedings of the International Workshop 2001: Aachen, Germany
| 9th Petri Nets and Performance Models: Proceedings of the International Workshop 2001: Aachen, Germany |
| Autore | German Reinhard |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2001 |
| Descrizione fisica | 1 online resource (x, 261 pages) : illustrations |
| Disciplina | 511.3 |
| Soggetto topico | Petri nets |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872853103321 |
|
German Reinhard
|
||
| [Place of publication not identified], : IEEE Computer Society Press, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in petri net theory and applications / / edited by Tauseef Aized
| Advances in petri net theory and applications / / edited by Tauseef Aized |
| Autore | Aized Tauseef |
| Pubbl/distr/stampa | IntechOpen, 2010 |
| Descrizione fisica | 1 online resource (232 pages) : illustrations |
| Disciplina | 511.3 |
| Soggetto topico | Petri nets |
| Soggetto non controllato | Mathematical modelling |
| ISBN | 953-51-5963-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Advances in Petri Net |
| Record Nr. | UNINA-9910138266103321 |
|
Aized Tauseef
|
||
| IntechOpen, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Application and theory of petri nets 1999 : 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings / / Susanna Donatelli, Jetty Kleijn, editors
| Application and theory of petri nets 1999 : 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings / / Susanna Donatelli, Jetty Kleijn, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] |
| Descrizione fisica | 1 online resource (CDXL, 432 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Petri nets |
| ISBN | 3-540-48745-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Design, Simulation, and Implementation of Hybrid Systems -- Efficient Reachability Set Generation and Storage Using Decision Diagrams -- Structural Methods to Improve the Symbolic Analysis of Petri Nets -- Stubborn Sets for Standard Properties -- Petri Net Based Behavioural Specification of CORBA Systems -- Symmetric Communication between Coloured Petri Net Simulations and Java-Processes -- Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems -- Autonomous Continuous P/T Systems -- An Approach to the Analysis of Interworking Traders -- Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets -- SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation -- Monitoring Discrete Event Systems Using Petri Net Embeddings -- Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets -- Theoretical Aspects of Recursive Petri Nets -- Petri Net Theory — Problems Solved by Commutative Algebra -- Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem -- Net Theory and Workflow Models -- Concurrent Implementation of Asynchronous Transition Systems -- Trace Channel Nets -- Reasoning about Algebraic Generalisation of Petri Nets -- The Box Algebra —; A Model of Nets and Process Expressions -- Detection of Illegal Behaviours Based on Unfoldings -- Five Classes of Invariant-Preserving Transformations on Colored Petri Nets -- Verifying Intuition — ILF Checks DAWN Proofs. |
| Record Nr. | UNINA-9910143456903321 |
| Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Application and theory of petri nets 1999 : 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings / / Susanna Donatelli, Jetty Kleijn, editors
| Application and theory of petri nets 1999 : 20th International Conference, ICATPN'99 Williamsburg, Virginia, USA, June 21-25, 1999 : proceedings / / Susanna Donatelli, Jetty Kleijn, editors |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] |
| Descrizione fisica | 1 online resource (CDXL, 432 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Petri nets |
| ISBN | 3-540-48745-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Design, Simulation, and Implementation of Hybrid Systems -- Efficient Reachability Set Generation and Storage Using Decision Diagrams -- Structural Methods to Improve the Symbolic Analysis of Petri Nets -- Stubborn Sets for Standard Properties -- Petri Net Based Behavioural Specification of CORBA Systems -- Symmetric Communication between Coloured Petri Net Simulations and Java-Processes -- Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems -- Autonomous Continuous P/T Systems -- An Approach to the Analysis of Interworking Traders -- Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets -- SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation -- Monitoring Discrete Event Systems Using Petri Net Embeddings -- Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets -- Theoretical Aspects of Recursive Petri Nets -- Petri Net Theory — Problems Solved by Commutative Algebra -- Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem -- Net Theory and Workflow Models -- Concurrent Implementation of Asynchronous Transition Systems -- Trace Channel Nets -- Reasoning about Algebraic Generalisation of Petri Nets -- The Box Algebra —; A Model of Nets and Process Expressions -- Detection of Illegal Behaviours Based on Unfoldings -- Five Classes of Invariant-Preserving Transformations on Colored Petri Nets -- Verifying Intuition — ILF Checks DAWN Proofs. |
| Record Nr. | UNISA-996465734503316 |
| Berlin ; ; Heidelberg : , : Springer Verlag, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and theory of petri nets and concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, proceedings / / Luca Bernardinello, Laure Petrucci, editors
| Application and theory of petri nets and concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, proceedings / / Luca Bernardinello, Laure Petrucci, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (398 pages) |
| Disciplina | 511.3 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer multitasking
Petri nets |
| ISBN | 3-031-06653-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996478872203316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Application and theory of petri nets and concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, proceedings / / Luca Bernardinello, Laure Petrucci, editors
| Application and theory of petri nets and concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, proceedings / / Luca Bernardinello, Laure Petrucci, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (398 pages) |
| Disciplina | 511.3 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer multitasking
Petri nets |
| ISBN | 3-031-06653-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910574859703321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applications and theory of petri nets 2003 : 24th international conference, icatpn 2003, eindhoven, the netherlands, june 23-27, 2003, proceedings / / edited by Wil van der Aalst, Eike Best
| Applications and theory of petri nets 2003 : 24th international conference, icatpn 2003, eindhoven, the netherlands, june 23-27, 2003, proceedings / / edited by Wil van der Aalst, Eike Best |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Germany : , : Springer, , [2003] |
| Descrizione fisica | 1 online resource (517 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Petri nets |
| ISBN | 3-540-44919-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNINA-9910143870403321 |
| Germany : , : Springer, , [2003] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
