yusuke1997/dblp-id-title huggingface dataset:
Causality in Extensions of Petri Nets
Vicinity Respecting Homomorphisms for Abstracting System Requirements
Self-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data
Transactions on Petri Nets and Other Models of Concurrency VIII
A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction
Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets
Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle
Software Engineering with Petri Nets: A Web Service and Agent Perspective
Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes in SOA-Based Environments
TAPAAL and Reachability Analysis of P/T Nets
Refinement and Asynchronous Composition of Modal Petri Nets
Modelling and Analysis Mobile Systems Using \pi -calculus (EFCP)
Decidability of k -Soundness for Workflow Nets with an Unbounded Resource
Transactions on Petri Nets and Other Models of Concurrency III
Conditions for Petri Net Solvable Binary Words
Transactions on Petri Nets and Other Models of Concurrency X
Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond
Transactions on Petri Nets and Other Models of Concurrency XIII
Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow
Soundness of Workflow Nets with Reset Arcs
Structure Theory of Petri Nets
Parametric Verification: An Introduction
Providing an Agent Flavored Integration for Workflow Management
Kleene Theorems for Free Choice Automata over Distributed Alphabets
Properties of Plain, Pure, and Safe Petri Nets
Does My Service Have Partners?
Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics
Discovering Petri Nets from Event Logs
Transactions on Petri Nets and Other Models of Concurrency V
TAPAs: A Tool for the Analysis of Process Algebras
Kleene Theorems for Synchronous Products with Matching
Transactions on Petri Nets and Other Models of Concurrency II, Special Issue on Concurrency in Process-Aware Information Systems
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems
Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering
Verifying Parallel Algorithms and Programs Using Coloured Petri Nets
Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets
Defining Meaningful Local Process Models
Transactions on Petri Nets and Other Models of Concurrency VII
A Domain Specific Language Approach for Genetic Regulatory Mechanisms Analysis
Ten Years of Saturation: A Petri Net Perspective
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach
The Synthesis Problem
Deciding Substitutability of Services with Operating Guidelines
Distributed Synthesis of Asynchronously Communicating Distributed Process Models
Elasticity and Petri Nets
Privacy Compliance Verification in Cryptographic Protocols
A Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement
Transactions on Petri Nets and Other Models of Concurrency XII
Designing a Workflow System Using Coloured Petri Nets
Incremental Process Discovery
Model Driven Testing Based on Test History
Search-Order Independent State Caching
A Toolchain to Compute Concurrent Places of Petri Nets
Bounded Parametric Model Checking for Elementary Net Systems
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
Transactions on Petri Nets and Other Models of Concurrency XVII
Time Recursive Petri Nets
A Case Study on Data Protection for a Cloud- and AI-Based Homecare Medical Device
Running LoLA 2.0 in a Model Checking Competition
Parametric Model Checking with VerICS
Stability of Regional Orthomodular Posets Under Synchronisation and Refinement
Applications of Coloured Petri Nets for Functional Validation of Protocol Designs
How Petri Net Theory Serves Petri Net Model Checking: A Survey
Transactions on Petri Nets and Other Models of Concurrency I
Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach
External Behaviour of Systems of State Machines with Variables
newYAWL: Towards Workflow 2.0
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example
On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol
A Formal Framework for Diagnostic Analysis for Errors of Business Processes
A Multi-Agent Organizational Framework for Coevolutionary Optimization
MARCIE's Secrets of Efficient Model Checking
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language
On-the-Fly Auditing of Business Processes
Modeling Organizational Structures and Agent Knowledge for Mulan Applications
Model-Based Software Engineering and Process-Aware Information Systems
Modelling Mobile IP with Mobile Petri Nets
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining
Modelling and Formal Verification of the NEO Protocol
Directed Unfolding of Petri Nets
MCC'2015 - The Fifth Model Checking Contest
Report on the Model Checking Contest at Petri Nets 2011
A Formal Model for Organisational Structures behind Process-Aware Information Systems
Modeling Organizational Units as Modular Components of Systems of Systems
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets
Business Process Modeling Using Petri Nets
Modeling and Mining of Learnflows
Extending pnml Scope: A Framework to Combine Petri Nets Types
Extensible Structural Analysis of Petri Net Product Lines
Evaluating Conformance Measures in Process Mining Using Conformance Propositions
Process Innovation as Creative Problem-Solving: An Experimental Study of Textual Descriptions and Diagrams
Share.loc - Transparenz und Integration von Lernobjekten an der Universität Münster
Model Based IS Life Cycle management - the Case of a Defence Acquisition ERP system
Research Challenges for the Modelling of the Resource and Organizational View
Besser Finden und Verstehen - Das Semantische Web in Digitalen Bibliotheken
Das Objekt der Informatik als Gegenstand der Softwarebeschreibung
Ein Ansatz zur methoden- und werkzeuggestützten Anfroderungs- und Systemspezifikation auf der Grundlage objektorientierter Modellierungs- und Simulationstechniken
Semantic Consistency - Through Seamless Modelling and Execution Support
E-Business in der Automobilzulieferindustrie - Ein Knebel für KMUs?
Process Change Patterns
Clustering Event Logs based on Behavioral Similarity
Zum Realitätsbezug von Informationsmodellen
A Consolidated Framework for Implementing Robotic Process Automation Projects (Extended Abstract)
Aspekte der Qualitätssicherung von Unternehmensdatenmodellen
Software wird im Handeln zum Hybridobjekt - Rahmen für eine Theorie der Informatik
Predictive Process Monitoring: A Use-Case-Driven Literature Review
Establishing Visions in Context: Towards a Model of Requirements Processes
Realitätsbezug von Informationsmodellen - Eine Erwiderung auf Kritik
Sozialinformatik - Soziale Organisationen gestalten
Machen Ereignisgesteuerte Prozeßketten (EPK) Petrinetze für die Geschäftsprozeßmodellierung obsolet?
Prozesskostenrechnung als Element des Workflow-Life-Cycle
On the Detection and Prediction of Errors in EPC Business Process Models
OMG releases BPMN 1.1 - What's changed?
On the Declarative Paradigm in Hybrid Business Process Representations: A Conceptual Framework and a Systematic Literature Study (Extended Abstract)
Was sind eigentlich Modelle?
Halbformale versus formale Beschreibungen
Showing the Advantages of Pull over Push Production with the Aid of Petri Nets (Extended Abstract)
Softwareentwicklung und Simulation - Eine integrierte Methodenkette
Partial Order Resolution of Event Logs for Process Conformance Checking (Extended abstract)
proView - Updatable Process Views for User-centered Adaption of Large Process Models (Extended Abstract)
Spezifikation von Informationssystemen als Objektsysteme: Das TROLL-Projekt
Conceptual Modelling and Artificial Intelligence
BERMUDA: Towards Maintainable Traceability of Events for Trustworthy Analysis of Non-process-aware Information Systems
A Framework for Efficiently Mining the Organisational Perspective of Business Processes
Batch Processing across multiple Business Process based on Object Life Cycle
Praxisorientierte Aspekte der Leu-Datenmodellierung
Detection and Quantification of Flow Consistency in Business Process Models
Software Engineering - Methoden und Vorgehensmodelle
Detecting Flight Trajectory Anomalies and Predicting Diversions in Freight Transportation
Integration von nicht-textuellen Objekten in das GetInfo Portal der Technischen Informationsbibliothek
BEE-SMART - A Natural Language Interface For Knowledge Retrieval and Service Execution over the Semantic Web2
A remark on Stamper's dissenting position on the FRISCO report
The Diverse Ends-in-View of Research on Business Processes and Organizational Routines
Styles in business process modeling: an exploration and a model (extended abstract)
Conceptual Modeling in a Digital World: A New Framework and Research Agenda (Extended Abstract)
Das CIM als Integrationsstandard für Versorger
The Process of Creating a Domain Specific Modelling Method
Collaboration Features in current BPM Tools
Subjekt & Objekt - Participatory Design | Object-oriented Design - Eine Reflexion
Ebenen der Abstraktion und ihre Abbildung auf konzeptionelle Modelle - oder: Anmerkungen zur Semantik von Spezialisierungs- und Instanziierungsbeziehungen
Process- and Resource-Aware Information Systems
Zur Beschreibung komplexer Anwendungswelten durch neutrale Raum-Zeit-Modelle
Praxisorientierte Datenmodellierung mit der SAP-SERM-Methode
Call for Participation 5th International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA'13): - Concepts, Technologies, Applications - September 5-6, 2013 - St. Gallen, Switzerland
Determining the Link and Rate Popularity of Enterprise Process Information (Extended Abstract)
Workflows Make Objects Really Useful
Herausforderungen auf dem Weg zu datenorientierten Prozess-Management-Systemen
Methodologie - Methodik - Methode. Was steckt dahinter?
Für Sie gesurft - Neue (und alte) Tipps aus dem WWW
Toward a Taxonomy of Modeling Difficulties: A Multimodal Study on Individual Modeling Processes (Extended Abstract)
Time Patterns for Process-aware Information Systems (Extended Abstract)
Extensions of Normal OOA Methods and Techniques for Distributed Real-Time Systems
EVACS: Economic Value Assessment of Cloud Sourcing by Small and Medium-sized Enterprises
Using Action Design Research for Co-creating Service-Dominant Business Artifacts between Academia and Industry
Investigations on User Preferences of the Alignment of Process Activities, Objects, and Roles (Extended Abstract)
Objektorientierte Modellierung betrieblicher Abläufe im OGM-Ansatz
An Approach to Support Process Model Validation based on Text Generation
Was kann die Philosophie der Informatik bieten?
Towards a Comprehensive Complexity Assessment of RBAC Models
Business Process Automation for Costume Management in Film Making: An Insight into Processes, Roles, and Document Structures
An Ontology-based Approach for Database Evolution
Ein Ansatz zur einheitlichen Darstellung der Objekte einer beliebigen Instantiierungsstufe und des Übergangs zur nächstniedrigeren Instantiierungsstufe (Teil I: Objekte)
Einsatz der OOA-Methode nach BOOCH am Beispiel eines Laborinformations- und Management-Systems
Datenmodellverdichtung
Searching Process Models By Example (Extended Abstract)
Ein Ansatz zur einheitlichen Darstellung der Objekte einer beliebigen Instantiierungsstufe und des Übergangs zur nächstniedrigeren Instantiierungsstufe (Teil II: Übergangsformalismus)
Process-Driven Mobile Data Collection
Flexible Prozessapplikationen in Service-orientierten Architekturen - Ein Überblick
Building Bayes Nets with Semistructured Probabilistic DBMS
Modellierung im Wandel
End-User Development of Internet of Things Processes in Augmented Reality (Extended Abstract)
Modellierung von Service-Aufrufbeziehungen zwischen prozessorientierten Applikationen
A Mediation Framework for a Transparent Access to Biological Data Sources - The MediaGRID Project
Ganzheitliche Modellierung von Fertigungsprozessen - Ein erster Schritt bei der Konstruktion unternehmensspezifischer Fertigungssteuerungssysteme
DB2 goes SQL 2003 - Native SQL/XML-Unterstützung der IBM DB2-Datenbank
Repeated Use of Process Models: The Impact of Artifact, Technological and Individual Factors
Semantic Technology in Business Process Modeling and Analysis. Part 1: Matching, Modeling Support, Correctness and Compliance
On Enabling Compliance of Cross-organizational Business Processes (Extended Abstract)
Sprachanalyse, Metadaten, Social Navigation - Semantik-Konzepte im Wandel
Data in Business Processes
Boolesch Algebraische Generalisierung/Spezialisierung von Objekttypen
Business Process Compliance
Modellierung in soziotechnischen Systemen - Von Menschen, Organisationen, Modellierern und Modellen
SimNet - ein Werkzeug für Modellierung und Simulation auf Basis stochastischer Petri-Netze
Unterstützung von Frontloading und Look-ahead bei der Entwicklung prozessorientierter Informationssysteme in Service-orientierten Architekturen
Herausforderungen bei der Integration von Benutzern in Datenorientierten Prozess-Management-Systemen
Ontology-Based Process Modelling - Will we live to see it? (Extended Abstract)
Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-based Transformational Semantics
Revenue Management Systems as Symbiotic Analytics Systems: Insights from a Field Study (Extended Abstract)
Lessons Learned in Aligning Data and Model Evolution in Collaborative Information Systems
Fortschritte im Requirements Engineering als Beitrag zu Kundenorientierung und zur Effizienzverbesserung im Entwicklungsprozeß von Informationsssystemen
Integration von Anwendungssystemen des stationären und ambulanten Versorgungssektors am Beispiel des Projektes Mamma@kte
Data Flow Correctness in Adaptive Workflow Systems
Prozessmodellierung im Web-Zeitalter
How collaborative technology supports cognitive processes in collaborative process modeling: A capabilities-gains-outcome model (Extended Abstract)
Qualitätsaspekte der Wiederverwendung von Schemata
Ein Metamodell als Grundlage zum Workflow-basierten Management von Produktionsprozessen
Unabhängigkeit von Datenwarenhäusern mit Sternschema
On Formal Models for Object-Oriented Databases
Aufruf zur Gründung eines Arbeitskreises in der Fachgruppe EMISA
5th InternationalWorkshop on Enterprise Modelling and Information Systems Architectures (EMISA.13): Concepts, Technologies, Applications
Von ADEPT zur AristaFlow BPM Suite - Eine Vision wird Realität : Correctness by Construction und flexible, robuste Ausführung von Unternehmensprozessen
Co-innovation in a University-Industry Partnership: A Case Study in the Field of Process Mining
Die Adaptive Services Grid Plattform - Motivation, Potenzial, Funktionsweise und Anwendungsszenarien
In Log and Model We Trust?
Resolving Inconsistencies and Redundancies in Declarative Process Models
Propagating Changes between Aligned Process Models (Extended Abstract)
Natürlichsprachlicher Entwurf von Informationssystemen
CSM - A Maintenance Tool for Data Warehouse Structures
Modelling the Behaviour of NF2-Database Applications
A Visual Language for Modeling Multiple Perspectives of Business Process Compliance Rules
e-Engineering zur Umsetzung innovativer Unternehmensstrategien
From Unreliable Web Search to Information Provisioning based on Curated Data
Conformance Checking and Performance Improvement in Scheduled Processes: A Queueing-Network Perspective
A study on the effects of routing symbol design on process model comprehension (Extended Abstract)
BTÖV - Eine Methode für die bedarfsgerechte Gestaltung von Telekooperation in der öffentlichen Verwaltung
User Recommendations for the Optimized Execution of Business Processes (Extended Abstract)
Ein Schlüsselkonzept für das ER-Modell - praktische Konsequenzen für Modellierung und Toolunterstützung
Drivers and Barriers for Microservice Adoption(Extended Abstract)
Eine integrierte CASE-Umgebung zur Entwicklung von Informationssystemen: Ein Erfahrungsbericht
Alignment-based Quality Metrics in Conformance Checking
A Virtual Debate on Serviceflows
Thesen zu Gegenstand, Zeichen, Objekt - und deren Bedeutung für die objektorientierte Analyse
Making EPCs fir for Workflow Management
Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives (Extended Abstract)
Recent Results of the NLRE (Natural Language based Requirements Engineering) Project
Der Mensch im Zentrum der Modellierung bei EMISA-BPMN-AWPN 2012 in Wien
Kultur im Wissensnetz - Die Architektur der Deutschen Digitalen Bibliothek
Einsatz von FlowMark in der Molekularbiologie
BPM Newsletter
Aus der EMISA-Fachgruppe
Towards a Method for Designing IT Self-Services from an IT Operations perspective
A Case-Study to Teach Process-Aware Information Systems
Konzepte und Aufbau einer Repository-gestützten Software-Entwicklungsumgebung
Investigating Expressiveness and Understandability of Hierarchy in Declarative Business Process Models (Extended Abstract)
Für Sie gesurft - Neue (und alte) Tipps aus dem WWW: EMISA-Edition, Folge 26
Was macht eigentlich die Data-Warehouse-Szene bei Banken?
XLX and L2P - Platforms for Blended Learning
Objekt und Klasse, Gegenstand und Begriff
Ein Ansatz zu einem formalisierten Datenbank-Entwurf in der Praxis
Towards Instant Monitoring of Business Process Compliance
State-of-the-art of Business Process Compliance Approaches: A Survey
Schwachstellen einer Analyse des Modellbegriffs
Process Lifecycle Management
Evaluation of BPM-Tools in terms of IT-Usability and IT-Accessibility
Conceptualizing a Log Generator for Privacy-aware Event Logs
Entwicklung zuverlässiger Informationssysteme
Business process representation and performance of different task types
Characteristics of Object Oriented Modeling Methods
The Concept of Knowledge Blockchains in Enterprise Modeling
A Generalizable Approach for Determining The Sensitivity of A Trace within An Event Log
Unser aller Profession gib uns heute? oder die Frage nach einer mäeutischen Informatik
Improving the Process of Process Modeling by the Use of Domain Process Patterns (Extended Abstract)
Analyse und Prozeßentwurf betrieblicher Abläufe im OGM-Aansatz
Objektorientierte Modellierung integrierter Informationssysteme
Konzeptuelle Objektsysteme zur Modellierung von Informations- und Steuerungssystemen
Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems
e-Prototyping
Kondenorientierte Planung von Softwareprodukten und -prozessen mit Quality Function Depelopment (QFD)
Recommendations from Analyzing the State-of-the-Art of Business Process Management Research
Quantifying the Re-identication Risk of Event Logs for Process Mining
Komposition, Choreographie und Orchestrierung von Web Services
Perspektiven von Informatik und Wirtschaftsinformatik als technisch-politische Wissenschaften
Extra Wasser im Wein des Data Warehouses
Philosophische Kritik des essentialistischen Objekt- und Objektivitätsbegriffs
Simplifying Process Model Abstraction: Techniques for Generating Model Names (Extended Abstract)
Detection of Naming Convention Violations in Process Models for Different Languages (Extended Abstract)
What we know and what we do not know about DMN
Semantic Technology in Business Process Modeling and Analysis. Part 2: Domain Patterns and (Semantic) Process Model Elicitation
Einführung in Java
An Empirical Review of the Connection between Model Viewer Characteristics and the Comprehension of Conceptual Process Models
Ontologie-Konstruktion am Beispiel von TopicMaps
A Framework for Visually Monitoring Business Process Compliance
Augmented Reality and Mobile Technology in Higher Education (Extended Abstract)
Process Change Support Features
Intershop eBusiness Modeling Method
Qualitätsanalyse im Data Warehousing
Business Process Execution Language for Web Services
Sicherheitsanforderungen und Sicherheitsmechanismen bei IT-Systemen
Utility-aware Event Log Anonymization for Privacy-Preserving Process Mining
Discrete maximum principle for a 1D problem with piecewise-constant coefficients solved by hp -FEM
On the numerical solution of a semilinear elliptic eigenproblem of Lane-Emden type, II: Numerical experiments
Error bounds for Finite Element solutions of elliptic variational inequalities of second kind
Uniformly convergent numerical method for solving modified Burgers' equations on a non-uniform mesh
Mathematical and numerical modeling of plate dynamics with rotational inertia
A polynomial chaos approach to stochastic variational inequalities
On convergent schemes for a two-phase Oldroyd-B type model with variable polymer density
Matrix equation solving of PDEs in polygonal domains using conformal mappings
A priori error estimates for the Arbitrary Lagrangian Eulerian formulation with finite elements
A finite element method for degenerate two-phase flow in porous media. Part II: Convergence
Analysis and computation of a weak Galerkin scheme for solving the 2D/3D stationary Stokes interface problems with high-order elements
A two-scale method for radiative heat transfer in non-grey absorbing and emitting media
A flux-corrected RBF-FD method for convection dominated problems in domains and on manifolds
On the solutions of a class of nonlinear ordinary differential equations by the Bessel polynomials
Multigrid methods for Hdiv-conforming discontinuous Galerkin methods for the Stokes equations
A posteriori error estimates for a nonconforming finite element discretization of the time-dependent Stokes problem, II: Analysis of the spatial estimator
A parallel algorithm for two-phase flow in heterogeneous porous media using an adaptive upscaling technique
New interpolation results and applications to finite element methods for elliptic boundary value problems
Analytic integration of the Newton potential over cuboids and an application to fast multipole methods
Entropy stabilization and property-preserving limiters for ℙ1 discontinuous Galerkin discretizations of scalar hyperbolic problems
Preconditioners for regularized saddle point matrices
Approximating eigenvalues of discontinuous problems by sampling theorems
Laplace inversion for the solution of an abstract heat equation without the forward transform of the source term
A class of hybrid linear multistep methods with A(ɑ)-stability properties for stiff IVPs in ODEs
A reduced basis method for fractional diffusion operators II
Penalty finite element approximations of the stationary power-law Stokes problem
A tight nonlinear approximation theory for time dependent closed quantum systems
Effective highly accurate time integrators for linear Klein-Gordon equations across the scales
A collocation approach for solving a class of complex differential equations in elliptic domains
High order immersed hybridized difference methods for elliptic interface problems
Diagonally implicit Runge-Kutta schemes: Discrete energy-balance laws and compactness properties
Overcoming the curse of dimensionality in the numerical approximation of backward stochastic differential equations
A Robin-Robin strongly coupled partitioned method for fluid-poroelastic structure interaction
Superconvergent discontinuous Galerkin methods for nonlinear parabolic initial and boundary value problems
Dual weighted residual error estimation for the finite cell method
A posteriori error analysis of an enriched Galerkin method of order one for the Stokes problem
High performance domain decomposition methods on massively parallel architectures with freefem++
Validation of a demand forecasting method based on a stochastic process using real-world data
Nonconforming spectral/ hp element methods for elliptic systems
Hierarchical Kronecker tensor-product approximations
Optimal evaluation of symmetry-adapted n-correlations via recursive contraction of sparse symmetric tensors