{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":1,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":22,"n_cols":5,"rows_kept":22,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[4,2,4,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[10,2,10,3],[16,2,16,3],[17,2,17,3],[19,2,19,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9911018746103321"]
[null,null,"Autore",null,"Davidrajuh Reggie"]
[null,null,"Titolo",null,"Petri Nets for Modeling Complex Discrete-Event Systems : An Approach Based on GPenSIM / / by Reggie Davidrajuh"]
[null,null,"Pubbl/distr/stampa",null,"Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025"]
[null,null,"ISBN",null,"9789819663965"]
[{"$nulls":4},"9789819663958"]
[null,null,"Edizione",null,"[1st ed. 2025.]"]
[null,null,"Descrizione fisica",null,"1 online resource (161 pages)"]
[null,null,"Collana",null,"Asset Analytics, Performance and Safety Management, , 2522-5170"]
[null,null,"Disciplina",null,"004.0151"]
[null,null,"Soggetti",null,"Computer science"]
[{"$nulls":4},"Software engineering"]
[{"$nulls":4},"Computer networks"]
[{"$nulls":4},"Theory of Computation"]
[{"$nulls":4},"Software Engineering"]
[{"$nulls":4},"Computer Communication Networks"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,"Nota di contenuto",null,"Part I: Interfacing with GPenSIM -- Chapter 1: File Structure -- Chapter 2: Data Structures -- Chapter 3: Virtual Tokens and Virtual State -- Chapter 4: Log Files -- Chapter 5: Retention of Tokens in Places -- Part II: Interfacing with External Environment -- Chapter 6: Processor Files as Interfaces -- Chapter 7: Introduction to Supervisory Control -- Chapter 8: Supervisory Control with GPenSIM -- Chapter 9: GPenSIM Functions -- Chapter 10: Case Study."]
[null,null,null,"Sommario/riassunto","This book addresses the need for users to understand the internal workings of GPenSIM's functions, including their design and how they can be extended to model and analyze scenarios that were previously not possible. It presents previously unavailable internal details of these functions, demonstrating how systems that could not be modeled in the past can now be analyzed by extending the capabilities of the GPenSIM tool. This book concentrates on the internal mechanics of the GPenSIM tool, specifically aimed at benefiting tool developers and designers. GPenSIM is a tool for modeling discrete systems, widely used in many universities around the world. The author of this book developed GPenSIM, which has been utilized to model various practical scenarios. Users often seek to understand the inner workings of GPenSIM, such as its design and its integration with other tools. This "]
[{"$nulls":4},"book addresses these aspects and acts as a reference manual for GPenSIM, helping users quickly grasp the various ways to utilize its functions and how these can be tailored to specific cases. One of the notable features of GPenSIM is its tight integration with MATLAB. This not only facilitates easy deployment and operation but also allows users to leverage MATLAB's extensive libraries for practical applications across various fields. The details provided in this book, along with its structured format, will greatly assist both university students and practicing engineers."]