1: Teoria e analisi / G. W. Brams |
Autore | Brams, G. W. |
Pubbl/distr/stampa | Milano, : Masson Italia, 1985 |
Descrizione fisica | X, 167 p. : ill. ; 24 cm. |
Disciplina |
511
511.35 |
Soggetto topico | Reti di Petri |
ISBN | 8821405826 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISANNIO-CFI0021983 |
Brams, G. W.
![]() |
||
Milano, : Masson Italia, 1985 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
2: Modellazione e applicazioni / G. W. Brams |
Autore | Brams, G. W. |
Pubbl/distr/stampa | Milano, : Masson Italia, 1985 |
Descrizione fisica | X, 138 p. : ill. ; 24 cm. |
Disciplina |
511
511.35 |
Soggetto topico | Reti di Petri |
ISBN | 8821405834 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISANNIO-CFI0021985 |
Brams, G. W.
![]() |
||
Milano, : Masson Italia, 1985 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
A course in formal languages, automata and groups / Ian Chiswell |
Autore | Chiswell, Ian <1948- > |
Pubbl/distr/stampa | London : Springer, 2009 |
Descrizione fisica | VII, 157 p. : ill. ; 24 cm |
Disciplina | 511.35 |
Collana | Univesitext |
Soggetto non controllato |
Macchine di Turing e nozioni collegate
Funzioni e relazioni ricorsive, gerarchie subricorsive |
ISBN | 978-1-84800-939-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009082850403321 |
Chiswell, Ian <1948- >
![]() |
||
London : Springer, 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advances in Petri nets 1993 / Grzegorz Rozenberg (ed.) |
Autore | International conference on applications and theory of Petri nets : <12. : ; 1991 |
Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, c1993 |
Descrizione fisica | 457 p. ; 24 cm. |
Disciplina | 511.35 |
Collana | Lecture notes in computer science |
Soggetto topico |
Reti di Petri
Petri, reti di Modelli matematici |
ISBN |
0387566899
3540566899 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-AQ10002791 |
International conference on applications and theory of Petri nets : <12. : ; 1991
![]() |
||
Berlin [etc.], : Springer-Verlag, c1993 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
Application and Theory of Petri Nets and Concurrency : 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings / / edited by Luis Gomes, Robert Lorenz |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (470 pages) |
Disciplina |
410.5
511.35 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Embedded computer systems
Computer science—Mathematics Computer networks Software engineering Embedded Systems Mathematics of Computing Computer Communication Networks Software Engineering |
Soggetto non controllato | Mathematics |
ISBN | 3-031-33620-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- From Process-Agnostic to Process-Aware Automation, Mining, and Prediction -- Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems inspired by Net Condition/Event Systems -- Process Mining -- There and Back Again: On the Reconstructability and Rediscoverabilty of Typed Jackson Nets -- ILP² Miner – Process Discovery for Partially Ordered Event Logs using Integer Linear Programming -- Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking -- Exact and Approximated Log Alignments for Processes with Inter-case Dependencies -- Semantics -- Taking Complete Finite Prefixes To High Level, Symbolically -- Interval Traces with Mutex Relation -- A Myhill-Nerode Theorem for Higher-Dimensional Automata -- Tools. -Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems -- Mochy : a tool for the modeling of concurrent hybrid systems.-Renew: Modularized Architecture and New Features -- Explorative Process Discovery using Activity Projections.-Verification. -Computing Under-approximations of Multivalued Decision Diagram.-Stochastic Decision Petri Nets -- Token Trail Semantics – Modeling Behavior of Petri Nets with Labeled Petri Nets -- On the Reversibility of Circular Conservative Petri Nets -- Automated Polyhedral Abstraction Proving. -Experimenting with Stubborn Sets on Petri Nets -- Timed Models -- Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. -A state class based controller synthesis approach for Time Petri Nets -- Model Transformation -- Transforming Dynamic Condition Response Graphs to safe Petri Nets -- Enriching Heraklit Modules by Agent Interaction Diagrams. |
Record Nr. | UNINA-9910728401303321 |
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Application and Theory of Petri Nets and Concurrency : 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings / / edited by Ryszard Janicki, Natalia Sidorova, Thomas Chatain |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (xi, 435 pages) : illustrations |
Disciplina |
511.3
511.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Discrete mathematics Data structures (Computer science) Information theory Database management Computer Science Logic and Foundations of Programming Design and Analysis of Algorithms Discrete Mathematics in Computer Science Data Structures and Information Theory Database Management System |
ISBN | 3-030-51831-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Application of Concurrency to System Design -- Languages and Synthesis -- Semantics -- Process Mining and Applications -- Extensions and Model Checking -- Tools. |
Record Nr. | UNINA-9910409661903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Application and Theory of Petri Nets and Concurrency : 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / / edited by Susanna Donatelli, Stefan Haar |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (XV, 471 p. 995 illus., 73 illus. in color.) |
Disciplina |
004.24015115
511.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Computer science—Mathematics Discrete mathematics Artificial intelligence—Data processing Software engineering Artificial intelligence Computer Science Logic and Foundations of Programming Discrete Mathematics in Computer Science Data Science Software Engineering Artificial Intelligence |
ISBN | 3-030-21571-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Models -- Tools -- Synthesis -- Semantics -- Concurrent Processes -- Algorithmic Aspects -- Parametrics and Combinatorics -- Models with Extensions. |
Record Nr. | UNINA-9910337846703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / / edited by Wil van der Aalst, Eike Best |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 351 p. 136 illus.) |
Disciplina | 511.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer simulation Machine theory Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Computer Modelling Formal Languages and Automata Theory Artificial Intelligence |
ISBN | 3-319-57861-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Distinguished Carl Adam Petri Lecture -- Simulation of Colored Petri Nets -- Petri Net Tools -- Model Checking -- Liveness and Opacity -- Stochastic Petri Nets -- Specific Net Classes -- Petri Nets for Pathways. |
Record Nr. | UNISA-996466228503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / / edited by Wil van der Aalst, Eike Best |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIV, 351 p. 136 illus.) |
Disciplina | 511.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Computer simulation Machine theory Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Computer Modelling Formal Languages and Automata Theory Artificial Intelligence |
ISBN | 3-319-57861-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Distinguished Carl Adam Petri Lecture -- Simulation of Colored Petri Nets -- Petri Net Tools -- Model Checking -- Liveness and Opacity -- Stochastic Petri Nets -- Specific Net Classes -- Petri Nets for Pathways. |
Record Nr. | UNINA-9910485143603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Application and Theory of Petri Nets and Concurrency [[electronic resource] ] : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / / edited by Raymond Devillers, Antti Valmari |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 351 p. 129 illus.) |
Disciplina | 511.35 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters |
ISBN | 3-319-19488-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996198524603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|