human: Given a node-centered hypergraph: <hypergraph>, where nodes represent authors and hyperedges represent groups of authors who co-authored the same paper.

Details of the hypergraph:
Center node: "Deriving Petri nets from finite transition systems"
  Abstract: This paper presents a novel method to derive a Petri net from any specification model that can be mapped into a state-based representation with arcs labeled with symbols from an alphabet of events (a Transition System, TS). The method is based on the theory of regions for Elementary Transition Systems (ETS). Previous work has shown that, for any ETS, there exists a Petri Net with minimum transition count (one transition for each label) with a reachability graph isomorphic to the original Transition System. Our method extends and implements that theory by using the following three mechanisms that provide a framework for synthesis of safe Petri nets from arbitrary TSs. First, the requirement of isomorphism is relaxed to bisimulation of TSs, thus extending the class of synthesizable TSs to a new class called Excitation-Closed Transition Systems (ECTS). Second, for the first time, we propose a method of PN synthesis for an arbitrary TS based on mapping a TS event into a set of transition labels in a PN. Third, the notion of irredundant region set is exploited, to minimize the number of places in the net without affecting its behavior. The synthesis method can derive different classes of place-irredundant Petri Nets (e.g., pure, free choice, unique choice) from the same TS, depending on the constraints imposed on the synthesis algorithm. This method has been implemented and applied in different frameworks. The results obtained from the experiments have demonstrated the wide applicability of the method.

Connected through hyperedge HE-1 (induced by source paper "Symbolic Boolean manipulation with ordered binary-decision diagrams"):
  with members:
    - "Planning via Model Checking: A Decision Procedure for AR"
    - "Symbolic protocol verification with queue BDDs"
    - "Learning visual representations for perception-action systems"
    - "Using BDDs to verify multipliers"
    - "FPGA routing and routability estimation via Boolean satisfiability"

Connected through hyperedge HE-2 (induced by source paper "Preserving correctness during business process model configuration"):
  with members:
    - "Dynamic adaptation of service compositions with variability models"
    - "Variability in business processes: Automatically obtaining a generic specification"
    - "Configurable process models for the swedish public sector"

Connected through hyperedge HE-3 (induced by source paper "A New Time Independent Asynchronous Protocol and Its Applications"):
  with members:
    - "Networked Control System: Overview and Research Trends"

Question: Please tell me which research area the center author belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science