Publicação
Behavior-Preserving Top-Down Construction of Cross-Organization Emergency Response Processes
| Resumo: | When an emergency happens, one of the most important tasks is to perform effective emergency disposal. To this end, emergency organizations need to collaborate to accomplish missions that exceed the capacity of any single organization. Typically, an emergency disposal is structured as a set of collaborative processes, referred to as cross-organization emergency response processes (CERPs). To deliver better emergency services, the initial step is to construct a high-quality CERP model. This paper introduces a top-down CERP model construction approach to tackle one of the most challenging issues in this area: How to construct a CERP model such that each organization can design, change, and modify their own processes without disturbing the overall collaboration and correctness of CERP. The proposed top-down CERP model construction approach involves the following stages: 1) Cross-organization public process model construction; 2) Intra-organization public process model generation; 3) Behavior-preserving intra-organization private process model construction; and 4) Organization-specific CERP model construction. A case study on cross-organization fire emergency response is conducted to demonstrate the applicability and effectiveness of the proposed approach. |
|---|---|
| Autores principais: | Liu, Cong |
| Outros Autores: | Li, Huiling; Zeng, Qingtian; Mo, Qi; Zhou, MengChu; Cheng, Long; Gao, Shangce |
| Assunto: | Correctness and collaboration cross-organization emergency disposal emergency management Petri nets top-down construction Control and Systems Engineering Information Systems Control and Optimization Artificial Intelligence |
| Ano: | 2025 |
| País: | Portugal |
| Tipo de documento: | artigo |
| Tipo de acesso: | acesso embargado |
| Instituição associada: | Universidade Nova de Lisboa |
| Idioma: | inglês |
| Origem: | Repositório Institucional da UNL |
Registos relacionados
article Construction of Conflict-Free and Efficient Cross-Organization Emergency Response Processes
por: Mo, Qi
Publicado em: (2026)
por: Mo, Qi
Publicado em: (2026)
groups Remote operation of embedded controllers designed using IOPT Petri-nets
por: Pereira, Fernando
Publicado em: (2015)
por: Pereira, Fernando
Publicado em: (2015)
article Petri net based methodology for the development of collaborative production systems
por: Leitão, Paulo
Publicado em: (2006)
por: Leitão, Paulo
Publicado em: (2006)
article An approach towards the development life-cycle of agent-based production control applications
por: Leitão, Paulo
Publicado em: (2005)
por: Leitão, Paulo
Publicado em: (2005)
article A collaborative automation approach to distributed production systems
por: Colombo, Armando W.
Publicado em: (2004)
por: Colombo, Armando W.
Publicado em: (2004)
article Formal specification of ADACOR holonic control system: coordination models
por: Leitão, Paulo
Publicado em: (2005)
por: Leitão, Paulo
Publicado em: (2005)
article A formal specification approach for holonic control systems: the ADACOR case
por: Leitão, Paulo
Publicado em: (2006)
por: Leitão, Paulo
Publicado em: (2006)
article A formal validation approach for holonic control system specifications
por: Leitão, Paulo
Publicado em: (2003)
por: Leitão, Paulo
Publicado em: (2003)
article VHDL generation from hierarchical petri net specifications of parallel controllers
por: Fernandes, João M.
Publicado em: (1997)
por: Fernandes, João M.
Publicado em: (1997)
article Integration of virtual and real environments for engineering service-oriented manufacturing systems
por: Leitão, Paulo
Publicado em: (2012)
por: Leitão, Paulo
Publicado em: (2012)
groups Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models
por: Pereira, Fernando
Publicado em: (2013)
por: Pereira, Fernando
Publicado em: (2013)
article Deal or no deal: English Devolution, a top-down approach
por: Wall, Rachel
Publicado em: (2019)
por: Wall, Rachel
Publicado em: (2019)
article Prototyping of Concurrent Control Systems with Application of Petri Nets and Comparability Graphs
por: Wisniewski, Remigiusz
Publicado em: (2018)
por: Wisniewski, Remigiusz
Publicado em: (2018)
article Guidelines for modelling reactive systems with coloured Petri nets
por: Madalena, Gonçalves
Publicado em: (2013)
por: Madalena, Gonçalves
Publicado em: (2013)
book Grazing impact of microzooplankton upon phytoplankton
por: Barbosa, Ana B.
Publicado em: (2009)
por: Barbosa, Ana B.
Publicado em: (2009)
article Formal specification of holonic control system ADACOR product holon, using high-level Petri Nets
por: Leitão, Paulo
Publicado em: (2003)
por: Leitão, Paulo
Publicado em: (2003)
article An approach to the formal specification of holonic control systems
por: Leitão, Paulo
Publicado em: (2003)
por: Leitão, Paulo
Publicado em: (2003)
school The term structure of discount rates under IFRS 17 : a top-down approach
por: Francisco, Soraia Filipa Pereira
Publicado em: (2024)
por: Francisco, Soraia Filipa Pereira
Publicado em: (2024)
article Composition of Petri nets models in service-oriented industrial automation
por: Mendes, João M.
Publicado em: (2010)
por: Mendes, João M.
Publicado em: (2010)
article Petri nets approach for designing the migration process towards industrial cyber-physical production systems
por: Cachada, Ana
Publicado em: (2017)
por: Cachada, Ana
Publicado em: (2017)
article Customizable service-oriented Petri net controllers
por: Mendes, João M.
Publicado em: (2009)
por: Mendes, João M.
Publicado em: (2009)
groups Extending IOPT nets with a module construct
por: Ribeiro, José
Publicado em: (2016)
por: Ribeiro, José
Publicado em: (2016)
article Solving myopia in real-time decision-making using Petri nets models’ knowledge for service-oriented manufacturing systems
por: Leitão, Paulo
Publicado em: (2010)
por: Leitão, Paulo
Publicado em: (2010)
article Decision support system for Petri nets enabled automation components
por: Pinto, João
Publicado em: (2009)
por: Pinto, João
Publicado em: (2009)
school The impact of climate change on systemic risk : a top-down assessment of transition risk in the Eurozone
por: Funder, Mira Mareike
Publicado em: (2023)
por: Funder, Mira Mareike
Publicado em: (2023)
school Use of Petri Nets to Manage Civil Engineering Infrastructures
por: Ferreira, Cláudia Alexandra Rocha
Publicado em: (2018)
por: Ferreira, Cláudia Alexandra Rocha
Publicado em: (2018)
groups IOPT Petri Net State Space Generation Algorithm with Maximal-Step Execution Semantics
por: Pereira, Fernando
Publicado em: (2011)
por: Pereira, Fernando
Publicado em: (2011)
article Contributions of Petri Nets to the Reliability and Availability of an Electrical Power System in a Big European Hospital - A Case Study
por: Pinto, Constâncio António
Publicado em: (2021)
por: Pinto, Constâncio António
Publicado em: (2021)
article Decision support system in a service-oriented control architecture for industrial automation
por: Leitão, Paulo
Publicado em: (2008)
por: Leitão, Paulo
Publicado em: (2008)
article Service-oriented process control using high-level petri nets
por: Mendes, João M.
Publicado em: (2008)
por: Mendes, João M.
Publicado em: (2008)
school The DS-Pnet modeling formalism for cyber-physical system development
por: Pereira, Fernando Joaquim Ganhão
Publicado em: (2017)
por: Pereira, Fernando Joaquim Ganhão
Publicado em: (2017)
article SOFHIA: a CAD environment to design digital control systems
por: Machado, Ricardo J.
Publicado em: (1997)
por: Machado, Ricardo J.
Publicado em: (1997)
groups A Cyber-Physical Social System Approach for User-Centric Power Wheelchairs
por: Lagartinho-Oliveira, Carolina
Publicado em: (2024)
por: Lagartinho-Oliveira, Carolina
Publicado em: (2024)
school Metodologia de testes de stress ao setor segurador em base Top-down
por: Vraja, Sebastian Florin
Publicado em: (2025)
por: Vraja, Sebastian Florin
Publicado em: (2025)
article Energy aware knowledge extraction from Petri nets supporting decision-making in service-oriented automation
por: Leitão, Paulo
Publicado em: (2010)
por: Leitão, Paulo
Publicado em: (2010)
article High-level petri nets control modules for service-oriented devices: a case study
por: Mendes, João M.
Publicado em: (2008)
por: Mendes, João M.
Publicado em: (2008)
article Modelling and validating the multi-agent system behaviour for a washing machine production line
por: Leitão, Paulo
Publicado em: (2012)
por: Leitão, Paulo
Publicado em: (2012)
groups PERFoRM migration strategy towards cyber-physical systems
por: Cachada, Ana
Publicado em: (2017)
por: Cachada, Ana
Publicado em: (2017)
article Process optimization of service-oriented automation devices based on Petri nets
por: Mendes, João M.
Publicado em: (2010)
por: Mendes, João M.
Publicado em: (2010)
groups High-level Petri nets modules for embedded controllers design
por: Ribeiro, José
Publicado em: (2015)
por: Ribeiro, José
Publicado em: (2015)
Registos relacionados
-
article Construction of Conflict-Free and Efficient Cross-Organization Emergency Response Processes
por: Mo, Qi
Publicado em: (2026) -
groups Remote operation of embedded controllers designed using IOPT Petri-nets
por: Pereira, Fernando
Publicado em: (2015) -
article Petri net based methodology for the development of collaborative production systems
por: Leitão, Paulo
Publicado em: (2006) -
article An approach towards the development life-cycle of agent-based production control applications
por: Leitão, Paulo
Publicado em: (2005) -
article A collaborative automation approach to distributed production systems
por: Colombo, Armando W.
Publicado em: (2004)