yusuke1997/dblp-id-title huggingface dataset:
Petri Net Simulation as a Service
Non-sequential Behaviour of Dynamic Nets
A Notion of Equivalence for Stochastic Petri Nets
GPU Computations and Memory Access Model Based on Petri Nets
Simple Composition of Nets
Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks
Pr/T-Net Based Seamless Design of Embedded Real-Time Systems
Model-Driven Middleware Support for Team-Oriented Process Management
Synthesis of Labelled Transition Systems into Equal-Conflict Petri Nets
Leveraging Petri Nets for Workflow Anomaly Detection in Microservice Architectures
Coloured Petri Nets Refinements
Some equivalence notions for concurrent systems. An overview
Refining Discovered Petri Nets by Sequencing Repetitive Components
Identification of key regulators in glycogen utilization in E. coli based on the simulations from a Hybrid Functional Petri Net model
A Compositional Petri Net Semantics for SDL
Negotiations and Petri Nets
travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States
Unfolding of Products of Symmetrical Petri Nets
Correctness Proof for the Alternating Bit Protocol by Assertion Systems
Discrete Parameters in Petri Nets
A Formal Service Specification for the Internet Open Trading Protocol
Is the Die Cast for the Token Game?
Hardware and Petri Nets: Application to Asynchronous Circuit Design
Translation Validation of Loop involving Code Optimizing Transformations using Petri Net based Models of Programs
A High Level Language for Structural Relations in Well-Formed Nets
CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets
Design Methods Based on Nets, Esprit Basic Research Action DEMON
Advances in Petri Nets 1992, The DEMON Project
Porting the Renew Petri Net Simulator to the Operating System Android
Validating DCCP Simultaneous Feature Negotiation Procedure
Bibliography of Petri nets
On Interval Semantics of Inhibitor and Activator Nets
Qualitative modelling and analysis of Photosystem II
Continuous Petri Nets and Transition Systems
Decomposing Process Mining Problems Using Passages
Replacement of Open Interface Subnets and Stable State Transformation Equivalence
Evaluating business meta-models for semantic interoperability with FHIR resources
Concurrency Oracles for Free
Designing a Security System by Means of Coloured Petri Nets
Petri Net Inside RFID Database Integrated with RFID Indoor Positioning System for Mobile Robots Position Control
Hierarchical Solution of Generalized Stochastic Petri Nets by Means of Traffic Processes
dmcG : A Distributed Symbolic Model Checker Based on GreatSPN
M-net Calculus Based Semantics for Triggers
The Power of Prime Cycles
Persistent Permutations, Fairness, Asymmetric Choice Petri Nets, and Ochmański's Conjecture
Heuristics for High-Utility Local Process Model Mining
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
Parameterized Analysis of Immediate Observation Petri Nets
Removing Implicit Places Using Regions for Process Discovery
Towards an Agile Distributed Management System Based on Petri Nets
Synchronic structure - a tutorial
UML - A Universal Modeling Language?
Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation
OBJSA Nets: a Class of High- level Nets Having Objects as Domains
On liveness preservation by composition of nets via a set of places
The dynamics of deterministic systems - A survey
Hornets: Nets within Nets Combined with Net Algebra
Revisiting the Alpha Algorithm To Enable Real-Life Process Discovery Applications
Parametrisation of CSA-Nets
Integrating a priori knowledge in automatic network reconstruction
Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets
SNexpression: A Symbolic Calculator for Symmetric Net Expressions
On the Generation of Organizational Architectures Using Petri Nets
Mining Declarative Models Using Time Intervals
The Alignment of Formal, Structured and Unstructured Process Descriptions
On Net Modeling of Industrial Size Concurrent Systems
Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs
Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24 - 25, 2013
The Mutex Paradigm of Concurrency
Simulating Multiple Formalisms Concurrently Based on Reference Nets
Maria: Modular Reachability Analyser for Algebraic System Nets
Mathematical models on cancer progression
Büchi-Automata guided Partial Order Reduction for LTL
Executing Transactions in Zero-Safe Nets
The Model-Checking Kit
Collecting Structured Logs of Instances as Process Nets in Petriflow Language
Determinate STG Decomposition of Marked Graphs
Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets
Coloured Petri Nets in Development of a Pervasive Health Care System
Characterizing Liveness of Petri Nets in Terms of Siphons
A Lazy Query Scheme for Reachability Analysis in Petri Nets
Performance Evaluation of Polling-Based Communication Systems Using SPNs
Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems
Finding Complex Process-Structures by Exploiting the Token-Game
Modelling Mobility and Mobile Agents Using Nets within Nets
Knowledge Driven Behavioural Analysis in Process Intelligence
A survey of behaviour and equivalence preserving refinements of Petri nets
Renew - The Reference Net Workshop
Automated Reasoning for Data-Aware Petri Nets
SkiNet: A User-Oriented Tool for Petri Net-Based Analysis of Robotic Skills
Coloured hybrid Petri nets for systems biology
On the Structure of Cycloids Introduced by Carl Adam Petri
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag
Agentworkflows for Flexible Workflow Execution
Computation of flows for unary-predicates/transition-nets
Automated Repair of Process Models Using Non-local Constraints
PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems
Kong: A Tool to Squash Concurrent Places
On the Model of Computation of Place/Transition Petri Nets
A Graph Theoretical Porperty for Minimal Deadlock
A Proposal for Structuring Petri Net-Based Agent Interaction Protocols
Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control
Layered Data: A Modular Formal Definition without Formalisms
Equivalence Notions for Concurrent Systems
On the Complexity of Synthesis of nop-Free Boolean Petri Nets
Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs)
Modelling and Evaluation of a Control Room Application
{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems
Petri Net Tool Overview 1992
From DB-nets to Coloured Petri Nets with Priorities
Object Nets for Mobility
Towards a Notion of Distributed Time for Petri Nets
Petri Net Synthesis for Restricted Classes of Nets
Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions
Visualising Data Sets in Structured Occurrence Nets
Taking Some Burden Off an Explicit CTL Model Checker
Algorithms for the Synthesis of Elementary Net Systems with Localities
An Algebraic Semantics for Hierarchical P/T Nets
A Canonical Contraction for Safe Petri Nets
On the Expressive Power of Transfinite Sequences for Continuous Petri Nets
The semantics of capacities in P/T nets
RENEW: Modularized Architecture and New Features
Introducing Catch Arcs to Java Reference Nets
The Square Petri Net
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 26-27, 2017
A Geometric Characterisation of Event/State Separation
Twin Transitions Powered By Event Data - Using Object-Centric Process Mining To Make Processes Digital and Sustainable
Discovering Stochastic Process Models by Reduction and Abstraction
A Tool for Automated Test Code Generation from High-Level Petri Nets
On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method
Nets Enriched over Closed Monoidal Structures
Data and Process Resonance - Identifier Soundness for Models of Information Systems
Interleaving semantics and action refinement with atomic choice
Model Checking Safety Properties in Modular High-Level Nets
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification
PNTM Integration of Petri Nets and Transactional Memory
Non Sequential Semantics for Contextual P/T Nets
Modelling systems with dynamic priorities
Reactive Petri Nets for Workflow Modeling
RenewKube: Reference Net Simulation Scaling with Renew and Kubernetes
Designing Weakly Terminating ROS Systems
Time in Structured Occurrence Nets
Compensation in Workflow Nets
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution
Process Discovery Using Localized Events
Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets
Stepwise construction of non-sequential software systems using a net-based specification language
Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower
Security-Sensitive Tackling of Obstructed Workow Executions
Infinite behaviour and fairness in Petri nets
Analysis of Dynamic Load Balancing Strategies Using a Combination of Stochastic Petri Nets and Queueing Networks
An Equivalence-Notion for Condition/Event-Systems
Capturing the Sudden Concept Drift in Process Mining
Bounded Self-Stabilizing Petri Nets
Compositional State Space Generation
Formal Tools for Modular System Development
A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets
Operating Guidelines for Finite-State Services
Petri Sport: A Sport for Petri Netters
Convex Petri Nets
Benefits of Using Petri Nets for Cyber-Physical Systems' Controllers Development in the Classroom
Improving the linearly based characterization of P/T nets
Interval Traces with Mutex Relation
Reengineering the Editor of the GreatSPN Framework
Model Checking Concurrency and Causality
Petri Nets with Structured Data
Petri nets for modelling and analysing trophic networks
Comparability Orders and Measurement
Finite Unfoldings of Unbounded Petri Nets
Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets
Expected Impulsive Rewards in Markov Regenerative Stochastic Petri Nets
Charlie - An Extensible Petri Net Analysis Tool
Safe states in banker like resource allocation problems
Modelling Local and Global Behaviour: Petri Nets and Event Coordination
Non-interference by Unfolding
Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012
Modeling Reusable Concurrent Passive Entity Objects in Colored Petri Nets
Reviving Token-based Replay: Increasing Speed While Improving Diagnostics
On the Complexity of the Linear-Time mu -calculus for Petri-Nets
Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets
Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets
Parametric Stochastic Well-Formed Nets and Compositional Modelling
Energy Transfer in Timed Cyclic Networks
Generating CA-Plans from Multisets of Services
Modeling Dynamic Architectures Using Nets-Within-Nets
In praise of free choice nets
Detection of Illegal Behaviors Based on Unfoldings
Avoiding Exponential Explosion in Petri Net Models of Control Flows
Branching Processes of General Petri Nets
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2020 Satellite event of the 41st International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2020, virtual workshop, June 24, 2020
On the Computation of Structural Synchronic Invariants in P/T Nets
Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrated Fuzzy Reasoning
Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets
Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets
Enhancement of Renew to Version 4.0 using JPMS
Anti-alignments in Conformance Checking - The Dark Side of Process Models
Constraints and Extensions in a Calculus of EN Systems
Formally Proving and Enhancing a Self-Stabilising Distributed Algorithm
On the Construction of System Nets
A Programming Language for Spatial Distribution of Net Systems
Shortest Paths in Reachability Graphs
An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding
Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings
A Petri Net Interpretation of Open Reconfigurable Systems
On the Synthesis of Industry Level Process Models from Enterprise Level Process Models
Petri Nets, Situations, and Automata
The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming
Statistical Model Checking of Stochastic Timed-Arc Petri Nets
Analysing Multi-Agent Systems using 1-safe Petri Nets
A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt
Modular State Spaces - A New Perspective
Occam and the transputer
Protocol Optimization for a Packet-Switched Bus in Case of Burst Traffic by Means of GSPN
Petri's Axioms of Concurrency- A Selection of Recent Results
MARCIE - Model Checking and Reachability Analysis Done Efficiently
A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets
On the Abstraction of Coloured Petri Nets
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
Computing Minimal Elements of Upward-Closed Sets for Petri Nets
Probabilistic Validation of a Remote Procedure Call Protocol
Verification of Nested Petri Nets Using an Unfolding Approach
Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems
Kleene Theorems for Labelled Free Choice Nets
A Turn-Based Approach for Qualitative Time Concurrent Games
Exhibition of a Structural Bug with Wings
Parameter Region for the Proper Operation of the IEEE 802.2 LLC Type 3 Protocol: A Petri Net Approach
Merging Alignments for Decomposed Replay
Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
On the invariants of coloured Petri nets
Iterative Methods for the Analysis of Petri Nets
Time Processes for Time Petri-Nets
AlPiNA: A Symbolic Model Checker
Scheduling Hard Real Time Systems Using High-Level Petri Nets
CAB: an Environment for Developing Concurrent Application
On Interval Process Semantics of Petri Nets with Inhibitor Arcs
Woflan 2.0: A Petri-Net-Based Workflow Diagnosis Tool
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems
Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings]
Functional Equivalences of Petri Nets
Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
Interval Timed Coloured Petri Nets and their Analysis
On Liveness and Controlled Siphons in Petri Nets
The foundation of Evolutionary Petri Nets
Model-Driven Development of Mobile Applications: Towards Context-Aware Apps of High Quality
Unifying Petri Net Semantics with Token Flows
Edge, Event and State Removal: The Complexity of Some Basic Techniques that Make Transition Systems Petri Net Implementable
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets
GreatTeach: A Tool for Teaching (Stochastic) Petri Nets
The Right Timing: Reflections on the Modeling and Analysis of Time
Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets
Behavioural Equivalence for Infinite Systems - Partially Decidable!
On Synthesising Step Alphabets for Acyclic Invariant Structures
Getting the Priorities Right: Saturation for Prioritised Petri Nets
Net Models Supporting Human and Humane Behaviors
Translating TPAL Specifications into Timed-Arc Petri Nets
Unifying Petri Nets, Advances in Petri Nets
On Liveness and Deadlockability in Subclasses of Weighted Petri Nets
Eliminating Internal Behaviour in Petri Nets
EDEN Framework for Interactive Analysis of Ecosystems Models
From Coloured Petri Nets to Object Petri Nets
Calculating the Number of Unique Paths in a Block-Structured Process Model
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs
Towards a Standard for Modular Petri Nets: A Formalisation
Computer supported design of Kanban controlled production
CoRA: An Online Intelligent Tutoring System to Practice Coverability Graph Construction
Performance Evaluation of Interpreted Bipolar Synchronization Schemes Using G. E. R. T.
A Goal Based Approach on top of Petri Nets
On Binary Words Being Petri Net Solvable
Nets-within-Nets to Model Innovative Space System Architectures
Arc-Typed Petri Nets
Master Channel Places for Communication Structured Acyclic Nets
Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow
Cycl$\mathbf {\circlearrowright }$n - A Tool for Determining Stop-Transitions of Petri Nets
Extending the Petri Box Calculus with Time
Fault Detection in Microservices using Petri Nets
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«
On the Computation of Stubborn Sets of Colored Petri Nets
FSPNs: Fluid Stochastic Petri Nets
Toward the Formal Verification of HILECOP: Formalization and Implementation of Synchronously Executed Petri Nets
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems
Process Semantics of P/T-Nets with Inhibitor Arcs
Orthogonal Transformations for Coloured Petri Nets
Grade/CPN: Semi-automatic Support for Teaching Petri Nets by Checking Many Petri Nets Against One Specification
Performance Analysis of M/G/1 Retrial Queue with Finite Source Population Using Markov Regenerative Stochastic Petri Nets
Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool
Hierarchy of persistency with respect to the length of actions disability
Petri Nets as Token Objects: An Introduction to Elementary Object Nets
Weak Observable Liveness and Infinite Games on Finite Graphs
Petri Meta-Compiler - A Recursive Approach to System Design and Development
Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), June 27, 2023, Lisbon, Portugal
Composition of Temporal Logic Specifications
Data Decision Diagrams for Petri Net Analysis
Building Petri Nets Tools around Neco Compiler
Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
The Challenge of Object Orientation for the Analysis of Concurrent Systems
Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models
ePNK Applications and Annotations: A Simulator for YAWL Nets
Aligning Event Logs to Resource-Constrained ν-Petri Nets
Validating Extended Feature Model Configurations using Petri Nets
On equivalent execution semantics of concurrent systems
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018
Coordination Rules Generation from Coloured Petri Net Models
Computing Alignments for Partially-Ordered Traces Through Petri Net Unfoldings
How to Verify Aggregating Global Properties
Visual Language Plans - Formalization of a Pedagogical Learnflow Modeling Language
Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, June 22, 2015
Application and Theory of Petri Nets and Concurrency - 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings
Petri nets, morphisms and compositionality
Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets
Introducing Refactoring for Reference Nets
On the Logic of Concurrency and Conflict
Behaviour-Preserving Transition Insertions in Unfolding Prefixes
Analysing Adaption Processes of Hornets
Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets
DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets
Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings
Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol
Context Petri Nets: Enabling Consistent Composition of Context-dependent Behavior
Modelling and Control of Complex Logistic Systems for Manufacturing
Evaluating and Improving SIP Non-INVITE Transaction to Alleviate the Losing Race Problem
Transition Systems Reduction: Balancing between Precision and Simplicity
Subset Languages of Petri Nets
Refining the Quick Fix for the Petri Net Modeling Tool Renew
Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), Bergen, Norway, June 20th, 2022
Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings
Timed Petri Nets and Temporal Linear Logic
Simplification of CTL Formulae for Efficient Model Checking of Petri Nets
Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance
Safety Slicing Petri Nets
Exploring L* for Process Mining
Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets
PLD-SiM: Process Line Diagram Simulator and Modeler
On Concurrent Realization of Reactive Systems and Their Morphisms
Design and programming of interfaces for monetic applications using Petri nets
Causal Behaviours and Nets
Trace Channel Nets
The »Petri Net Baukasten«: An Overview
Verifying Intuition - ILF Checks DAWN Proofs
Nested Nets for Adaptive Systems
Parallel systems specitications with coloured Petri nets and algebraic specifications
Hierarchies in Colored GSPNs
Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets
Lookahead Consistency Models for Dynamic Migration of Workflow Processes
Use of the Behaviour Equivalence in Place-Transition Net Analysis
Applications and Theory of Petri Nets, Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, September 27-30, 1982
Stochastic Decision Petri Nets
The Combinatorics of Barrier Synchronization
Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
Modeling State Transitions with Colored Petri Nets
Deterministic Concurrent Systems
The complexity of testing the equivalence of transition sequences
On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers
On the Problem of Time in Nets
Decomposed Replay Using Hiding and Reduction
Model Checking of Synchronized Domain-Specific Multi-formalism Models Using High-Level Petri Nets
Manual and Automatic Exploitation of Symmetries in SPN Models
Petri Net Model Checking with LoLA 2
Checking properties of nets using transformation
Petri net based models for the specification and validation of protocols
Modeling Interaction-Oriented Architectures using Choreographies