Kommunikation mit Automaten

By C. Petri. 1962

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Citations in the corpus

Benchmark and Survey of Automated Machine Learning Frameworks (2019, methodology): “Salvador et al. (2017) model an ML pipeline with Petri-nets (Petri, 1962) instead of a DAG.”
A Taxonomy of Workflow Management Systems for Grid Computing (2005, methodology): “The major modeling approaches are Petri Nets [99], UML (Unified Modeling Language) [94] and user-defined component.”
Cooperative Intersection Management: A Survey (2016, background): “Major research areas including mathematical model [28]–[33], fuzzy logic [34]–[36], rolling horizon approach [37], Markovianbased control [38], neural networks-based control [39], Petri Net-based control [40]–[42], queue theory [43], as well as agent-based learning methods [44]–[47].”
Modelling and analysis of gene regulatory networks (2008, background): “The dynamics of a regulatory network can also be analysed using Petri net”
Business process management (BPM) standards: a survey (2009, methodology): “…Process Execution Language – BPEL (Andrews et al., 2003)) are based on established BPM theory (e.g. Pi-calculus (Milner, 1982, 1999) and Petri nets (Petri, 1962) and are eventually adopted into software and systems (e.g. Intalio Designer (Intalio, 1999-2007), KAISHA-Tec ActiveModeler (KAISHA-Tec…”
A brief history of process algebra (2005, unknown): “At that point, the only part of concurrency theory that existed is the theory of Petri nets, conceived by Petri starting from his thesis in 1962 [84].”
An MDP Approach for Explanation Generation (2007, methodology): “This behavior is followed-up using a model (obtained from the optimal plan) represented as a Petri net (Petri 1962).”
Process Mining (2016, methodology): “For example, Anil Nerode presented an approach to synthesize finite-state machines from example traces in 1958 [108], Carl Adam Petri introduced the first modeling language adequately capturing concurrency in 1962 [111], and Mark Gold was the first to systematically explore different notions of lear”
A Petri Net-based Model for Web Service Composition (2003, background): “Petri nets (Petri 1962, Peterson 1981) are a wellfounded process modeling technique that have formal semantics.”
An evaluation of conceptual business process modelling languages (2006, methodology): “Petri Net: A Petri Net [17] is designed for modelling, analysis and simulation of dynamic systems with concurrent and nondeterministic procedures.”
Design and Implementation of the YAWL System (2004, background): “Petri nets [31] form a model for concurrency with a formal foundation, an associated graphical representation, and a collection of analysis techniques.”
Modelling Multi-Component Predictive Systems as Petri Nets (2017, methodology): “While Petri nets were introduced in (Petri 1962), the most recent definition of a Petri net, which has been adopted in this paper, was given in (Murata 1989) as the following tuple”
YAWL: yet another workflow language (2005, background): “This observation triggered the question: How about high-level Petri nets as a workflow language? Petri nets have been around since the sixties [48] and have been extended with colour [34, 35] and time [43] to improve expressiveness.”