top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Applications and Theory of Petri Nets 2005 [[electronic resource] ] : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / / edited by Gianfranco Ciardo, Philippe Darondeau
Applications and Theory of Petri Nets 2005 [[electronic resource] ] : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / / edited by Gianfranco Ciardo, Philippe Darondeau
Edizione [1st ed. 2005.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Descrizione fisica 1 online resource (XI, 475 p.)
Disciplina 511.35
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Computer science—Mathematics
Discrete mathematics
Software engineering
Operating systems (Computers)
Computer networks
Business information services
Theory of Computation
Discrete Mathematics in Computer Science
Software Engineering
Operating Systems
Computer Communication Networks
IT in Business
ISBN 3-540-31559-4
3-540-26301-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets -- Applications of Craig Interpolation to Model Checking -- Towards an Algebra for Security Policies -- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control -- Full Papers -- Genetic Process Mining -- The (True) Concurrent Markov Property and Some Applications to Markov Nets -- On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets -- Extremal Throughputs in Free-Choice Nets -- A Framework to Decompose GSPN Models -- Modeling Dynamic Architectures Using Nets-Within-Nets -- A High Level Language for Structural Relations in Well-Formed Nets -- Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation -- Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets -- Termination Properties of TCP’s Connection Management Procedures -- Soundness of Resource-Constrained Workflow Nets -- High-Level Nets with Nets and Rules as Tokens -- Can I Execute My Scenario in Your Net? -- Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets -- Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty -- On the Expressive Power of Petri Net Schemata -- Determinate STG Decomposition of Marked Graphs -- Timed-Arc Petri Nets vs. Networks of Timed Automata -- Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets -- Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets -- Tool Papers -- The ProM Framework: A New Era in Process Mining Tool Support -- High Level Petri Nets Analysis with Helena -- Protos 7.0: Simulation Made Accessible.
Record Nr. UNISA-996466064503316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Applications and Theory of Petri Nets 2005 : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / / edited by Gianfranco Ciardo, Philippe Darondeau
Applications and Theory of Petri Nets 2005 : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / / edited by Gianfranco Ciardo, Philippe Darondeau
Edizione [1st ed. 2005.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Descrizione fisica 1 online resource (XI, 475 p.)
Disciplina 511.35
Collana Theoretical Computer Science and General Issues
Soggetto topico Computer science
Computer science—Mathematics
Discrete mathematics
Software engineering
Operating systems (Computers)
Computer networks
Business information services
Theory of Computation
Discrete Mathematics in Computer Science
Software Engineering
Operating Systems
Computer Communication Networks
IT in Business
ISBN 3-540-31559-4
3-540-26301-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Papers -- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets -- Applications of Craig Interpolation to Model Checking -- Towards an Algebra for Security Policies -- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control -- Full Papers -- Genetic Process Mining -- The (True) Concurrent Markov Property and Some Applications to Markov Nets -- On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets -- Extremal Throughputs in Free-Choice Nets -- A Framework to Decompose GSPN Models -- Modeling Dynamic Architectures Using Nets-Within-Nets -- A High Level Language for Structural Relations in Well-Formed Nets -- Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation -- Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets -- Termination Properties of TCP’s Connection Management Procedures -- Soundness of Resource-Constrained Workflow Nets -- High-Level Nets with Nets and Rules as Tokens -- Can I Execute My Scenario in Your Net? -- Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets -- Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty -- On the Expressive Power of Petri Net Schemata -- Determinate STG Decomposition of Marked Graphs -- Timed-Arc Petri Nets vs. Networks of Timed Automata -- Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets -- Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets -- Tool Papers -- The ProM Framework: A New Era in Process Mining Tool Support -- High Level Petri Nets Analysis with Helena -- Protos 7.0: Simulation Made Accessible.
Record Nr. UNINA-9910484677103321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Petri Net Synthesis / / by Eric Badouel, Luca Bernardinello, Philippe Darondeau
Petri Net Synthesis / / by Eric Badouel, Luca Bernardinello, Philippe Darondeau
Autore Badouel Eric
Edizione [1st ed. 2015.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
Descrizione fisica 1 online resource (XIII, 339 p. 140 illus., 1 illus. in color.)
Disciplina 511.3
Collana Texts in Theoretical Computer Science. An EATCS Series
Soggetto topico Computers
Computer science—Mathematics
Software engineering
Mathematical logic
Theory of Computation
Mathematics of Computing
Software Engineering/Programming and Operating Systems
Mathematical Logic and Foundations
ISBN 3-662-47967-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Introduction to Elementary Net Synthesis -- Other Forms of the Synthesis Problem -- Algorithms of Elementary Net Synthesis -- Variations of Elementary Net Synthesis -- A Unified Theory of Net Synthesis -- The Linear Algebraic Structure of Regions -- Synthesis of P/T-Nets from Finite Initialized Transition Systems -- Synthesis of Unbounded P/T-Nets -- P/T-Nets with the Step Firing Rule -- Extracting Concurrency from Transition Systems -- Process Discovery -- Supervisory Control -- Design of Speed Independent Circuits -- Bibliography.
Record Nr. UNINA-9910299259803321
Badouel Eric  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Proceedings : Fourth International Conference on Application of Concurrency to System Design : ACSD 2004, 16-18 June 2004, Hamilton, Ontario, Canada
Proceedings : Fourth International Conference on Application of Concurrency to System Design : ACSD 2004, 16-18 June 2004, Hamilton, Ontario, Canada
Pubbl/distr/stampa [Place of publication not identified], : IEEE Computer Society, 2004
Disciplina 003
Soggetto topico System design
Parallel processing (Electronic computers)
Computer Science
Engineering & Applied Sciences
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996214781103316
[Place of publication not identified], : IEEE Computer Society, 2004
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Proceedings : Fourth International Conference on Application of Concurrency to System Design : ACSD 2004, 16-18 June 2004, Hamilton, Ontario, Canada
Proceedings : Fourth International Conference on Application of Concurrency to System Design : ACSD 2004, 16-18 June 2004, Hamilton, Ontario, Canada
Pubbl/distr/stampa [Place of publication not identified], : IEEE Computer Society, 2004
Disciplina 003
Soggetto topico System design
Parallel processing (Electronic computers)
Computer Science
Engineering & Applied Sciences
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910872530003321
[Place of publication not identified], : IEEE Computer Society, 2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui