yusuke1997/dblp-id-title huggingface dataset:
Parameterized Reachability Trees for Algebraic Petri Nets
Timed Petri Net Models of ATM LANs
Place Bisimulations in Petri Nets
Modelling and Analyzing Electrocardiogram Events using Timed Coloured Petri Nets
An integrated software development methodology based on hierarchical colored Petri Nets
Specialisation and Generalisation of Processes
Process-oriented Worksheets for the Support of Teaching Projects
Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings
Separability in Persistent Petri Nets
K-density, N-density and finiteness properties
Digital Twins: An Emerging Paradigm for Model-Centric Engineering (Invited Talk)
(Stochastic) Model Checking in GreatSPN
About the concurrent behaviour of EN systems: definability and closure results
An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets
Exploiting T-invariant Analysis in Diagnostic Reasoning on a Petri Net Model
Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets
A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device
Stepwise Refinements of Transitions and Places
A Formal Definition of Hierarchical Predicate Transition Nets
ADECS 2014, Proceedings of the 1st International Workshop on Petri Nets for Adaptive Discrete-Event Control Systems, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2014), Tunis, Tunisia, June 24, 2014
Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
An Approach to Distributed State Space Exploration for Coloured Petri Nets
Cost Soundness for Priced Resource-Constrained Workflow Nets
Concurrency Relations and the Safety Problem for Petri Nets
Process Mining from a Basis of State Regions
Can I Execute My Scenario in Your Net? VipTool Tells You!
Soundness of Workflow Nets with an Unbounded Resource is Decidable
Cortado - An Interactive Tool for Data-Driven Process Discovery and Modeling
SLAPN : A Tool for Slicing Algebraic Petri Nets
Programming a Closely Coupled Multiprocessor System with Hight Level Petri Nets
Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems
P-graph Algorithms for Petri Net Synthesis
Stubborn Sets for Standard Properties
Designing a LTL Model-Checker Based on Unfolding Graphs
Canonical Representations for Direct Generation of Strategies in High-Level Petri Games
The Theory of WSTS: The Case of Complete WSTS
Distributed Population Protocols: Naturally!
Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time
Information Flow in Nets
Repairing Event Logs with Missing Events to Support Performance Analysis of Systems with Shared Resources
''What Is a Petri Net?''
Synchronized elementary net systems
Identification of Timed Discrete Event Processes. Building Input-Output Petri Net Models
Distributed Algorithms and Causally Consistent Observations
P-Semiflow Computation with Decision Diagrams
Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations
Liveness in Bounded Petri Nets Which Are Covered by T-Invariants
Design of Event-Driven Tsetlin Machines Using Safe Petri Nets
Cost and Quality in Crowdsourcing Workflows
Synthetic Portnet Generation with Controllable Complexity for Testing and Benchmarking
Extracting Data from Unstructured Crime Text to Represent in Structured Occurrence Nets using Natural Language Processing
An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol
Occurrence Nets Then and Now: The Path to Structured Occurrence Nets
Complete Process Semantics for Inhibitor Nets
Unifying Patterns for Modelling Timed Relationships in Systems and Properties
Some Personal Views of Net Theory
On Weighted Petri Net Transducers
Hierarchical High Level Petri Nets for Complex System Analysis
Portfolio Management in Explicit Model Checking
A CTL* Model Checker for Petri Nets
Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams
ESTL: A Temporal Logic for Events and States
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets
Modeling and Proofs of a Data Transfer Protocol by Predicate/Transition Nets
Descriptive and analytical process algebras
Forward and Backward Compatibility Deign Techniques Applying the HL7 FHIR Standard
Advances in Petri Nets 1989, covers the 9th European Workshop on Applications and Theory in Petri Nets, held in Venice, Italy in June 1988, selected papers
Portable Nets: Modeling and Verification of Business Processes with multiple Start and End Points
Making nets abstract and structures
Synthesis of Controlled Behavior with Modules of Signal Nets
Soundness of Resource-Constrained Workflow Nets
Semantic Preserving, Notational and Transformational Challenges in Transfiguring BPMN models into Petri Nets
Synthesis and Analysis of Product-Form Petri Nets
The reachability problem for VAS
Efficiency of Asynchronous Systems That Communicate Asynchronously
Persistency and Nonviolence Decision Problems in P/T-Nets with Step Semantics
Petri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems
A Compositional Partial Order Semantics for Petri Net Components
The Flux of Interaction
Explorative Process Discovery Using Activity Projections
Dynamic Networks of Timed Petri Nets
Reasoning about Algebraic Generalisation of Petri Nets
SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation
Real-Time Synchronised Petri Nets
Regular stochastic Petri nets
Synhronic distances in C/E systems
Coupling Asynchrony and Interrupts: Place Chart Nets
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator
Automatic Symmetry Detection in Well-Formed Nets
Describing Behavior of Processes with Many-to-Many Interactions
Projections of C/E systems
Transforming Dynamic Condition Response Graphs to Safe Petri Nets
Modelling Concurrency with Quotient Monoids
Fair serializability of iterated transactions using FIFO-nets
The Stubborn Set Method in Practice
ABCD: A User-Friendly Language for Formal Modelling and Analysis
Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows
On abstraction of nets
The BRITNeY Suite Animation Tool
Petri net based modelling and simulation of p16-Cdk4/6-Rb pathway
Petri-Net Implementation of Recovery Strategies in a Large ESS
Unifying the Semantics of Modular Extensions of Petri Nets
New Algorithms for Deciding the Siphon-Trap Property
Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method
Petri Nets with Individual Tokens
Systemic approach for toxicity analysis
Petri Nets with Localities and Testing
A Proof of the Rank Theorem for Extended Free Choice Nets
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems
Notions of Computability by Petri Nets
Ex Spect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets
Distributable nets
Synthesis and Analysis of Process Networks by Joint Application of P-graphs and Petri Nets
Liveness and duality in marked-graph-like predicate/transition nets
Hilbert Composition of Multilabelled Events
A Petri Net based Environment for the Design of Event-driven Interfaces
Experiences in the Use of Galileo to Design Telecommunication Systems
Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm
S-Invariance in Predicate/Transition Nets
Kaira: Development Environment for MPI Applications
The Application of Petri Nets to the Modeling, Analysis and Control of Intelligent Urban Traffic Networks
Protos 7.0: Simulation Made Accessible
Modular Model Checking of Reference Nets: MoMoC
An Exercise in Concurrency: a CSP Process as a Condition/ event System
Availability Analysis of the ONOS Architecture
Compositional Analysis with Place-Bordered Subnets
Structural Methods to Improve the Symbolic Analysis of Petri Nets
The Complexity of Diagnosability and Opacity Verification for Petri Nets
Synthesis of bounded Petri Nets from Prime Event Structures with Cutting Context
A Petri Net Table Model Applied to Classic and Agile Project Management
Two Operations for Stable Structures of Elementary Regions
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
From Place Nets to Local Process Models
PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description
Covering Step Graph
Two Algebraic Process Semantics for Contextual Nets
Esprit Basic Research Action 3148 DEMON (design methods based on nets)
Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
On the Application of Model-Driven Optimization to Business Processes
Improving Emergency Department Processes Using Coloured Petri Nets
Modelling the Structure and Behaviour of Petri Net Agents
Maximality preservation and the ST-idea for action refinements
Extremal Throughputs in Free-Choice Nets
Quasi-Static Scheduling of Independent Tasksfor Reactive Systems
Deciphering the Co-Car Anomaly of Circular Traffic Queues Using Petri Nets
Verification of Reconfigurable Petri Nets
Determining the Number of Trace Clusters: a Stability-based Approach
Improving Static Variable Orders Via Invariants
Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets
Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach
On the use of Pragmatics for Model-based Development of Protocol Software
EMiT: A Process Mining Tool
Modular functional modelling of Petri nets with individual tokens
Distributed Places and Safe Net Reduction
Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net
Observable Liveness
Synthesis of Persistent Systems
Enhancing Stochastic Petri Net-based Remaining Time Prediction using k-Nearest Neighbors
Net-Based Analysis of Event Processing Networks - The Fast Flower Delivery Case
Bisimilarity Minimization in O(m logn) Time
Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Bergen, Norway, June 19-24, 2022
Discovering the Influence of Exogenous Data on Decisions in Processes
Distributed Change Region Detection in Dynamic Evolution of Fragmented Processes
CPN Tools 4: Multi-formalism and Extensibility
A Steering Server for Collaborative Simulation of Quantitative Petri Nets
Verification of Logs - Revealing Faulty Processes of a Medical Laboratory
Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows
Modeling Symmetric Computer Architectures by SWNs
Computing Parameterized Invariants of Parameterized Petri Nets
Leveraging High-Level Petri Nets for Cyber-Physical Systems Development
Stratifying Winning Positions in Parity Games
A High-Level Nets based Approach for Reconfigurations of Distributed Control Systems
Specification and properties of a cache coherence protocol model
Regular Event Structures and Finite Petri Nets: The Conflict-Free Case
Process Data Science for Workflow Optimization in Digital Pathology: A status report
The Reachability Problem for Acyclic Join-Free Petri nets is NP-complete
Region Based Synthesis of P/T-Nets and Its Potential Applications
Process Semantics of Petri Nets over Partial Algebra
Analysis of Patient Pathways with Contextual Process Mining
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach
Theoretical Aspects of Recursive Petri Nets
Investigation of Containerizing Distributed Petri Net Simulations
Termination Properties of TCP's Connection Management Procedures
Parameterized Complexity and Approximability of Coverability Problems in Weighted Petri Nets
Extending Renew's Algorithms for Distributed Simulation
Verifying Temporal Logic Properties in the Modular State Space
A survey of recognizable languages with infinite traces
Proceedings of the International Workshop on Petri Nets and Software Engineering, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th International Conference on Application of Concurrency to System Design (ACSD 2014), Tunis, Tunisia, June 23-24, 2014
Probabilistic Communication Structured Acyclic Nets
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
Petri Nets Validation of Markovian Models of Emergency Department Arrivals
Compositional Service Trees
Faster Simulation of (Coloured) Petri Nets Using Parallel Computing
Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure
Overview on Topic 1: Application of Nets to Real-Time Systems
Decidability of Properties of Timed-Arc Petri Nets
Contextual Merged Processes
Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking
Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets
On the Construction of Pullbacks for Safe Petri Nets
Enriching Heraklit Modules by Agent Interaction Diagrams
Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24 - 25, 2024, Geneva, Switzerland
Automated Polyhedral Abstraction Proving
Cloud Native Simulation of Reference Nets
When Can We Trust a Third Party? - A Soundness Perspective
Transfer of Graph Constructs in Goguen's Paper to Net Constructs
A Framework for Fast Congestion Detection in Wireless Sensor Networks Using Clustering and Petri-Net-based Verification
Towards a Standard Process enabling AI-support for Safety and Conformity of Medical Devices
Canonical Transition Set Semantics for Petri Nets
Decomposition Theorems for Bounded Persistent Petri Nets
Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data
On Reachability in Autonomous Continuous Petri Net Systems
Integrating Simulink Models into the Model Checker Cosmos
Efficient Reachability Set Generation and Storage Using Decision Diagrams
High-Level Nets with Nets and Rules as Tokens
Embedded Software: Better Models, Better Code
Toward Specifications for Reconfigurable Component Systems
Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed
Superposed Automata Nets
Coordination for Situated MAS: Towards an Event-driven Architecture
Software Engineering and Modeling Education: Problems and Solutions
Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
Characterizing Stable Inequalities of Petri Nets
A Matrix-Based Implementation of Generalized Petri Nets
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
Parametric Language Analysis of the Class of Stop-and-Wait Protocols
Parameterized Reachability Trees for Predicate/Transition Nets
Some Issues About Petri Net Application to Manufacturing and Process Supervisory Control
Partial Order Semantics of Box Expressions
Pushing the Limits: Concurrency Detection in Acyclic Sound Free-Choice Workflow Nets in O(P² + T²)
Cooperative Nets
Synthesis of Concurrent Systems
On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets
Tuning Alignment Computation: An Experimental Evaluation
Solving a Safety Game on the Unfolding of Safe Petri Nets
An Exercise in Processes with Infinite Pasts
On distributed languages and models for concurrency
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
On the Notion of Interface in Condition/Event-Systems
There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets
Petri net tools
Towards Biopathway Modeling and Simulation
Autonomous And Timed Continous Petri Nets
User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets
The Synthesis Problem of Netcharts
Information Flow among Transitions of Bounded Equal-Conflict Petri Nets
Analyzing Software Engineering Courses with Process Mining and Business Intelligence
A basic-net algebra for program semantics and its application to OCCAM
Petri-Nets@Run.Time: Handling Uncertainty during Run-Time Adaptation using Digital Twins
Covering Step Graph Preserving Failure Semantics
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019
Invariant Based Programming
Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990
Slicing High-level Petri Nets
Petri Net Synthesis with Union/Find
DisCoveR: Process Mining for Knowledge-Intensive Processes with DCR Graphs
Geist3D, a Simulation Tool for Geometry-Driven Petri Nets
Partial Order Verification of Programmable Logic Controllers
Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets
Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios
Can Stubborn Sets Be Optimal?
Petri net models for the lambda-calculus
On the Step Explosion Problem
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol
Verification of a Revised WAP Wireless Transaction Protocol
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
Snoopy - A Unifying Petri Net Tool
The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets
Workflow Management Principles for Interactions Between Petri Net-Based Agents
The PSR Methodology: Integrating Hardware and Software Models
Solving E (φUψ) using the CEGAR Approach
Mathematical methods for calculating invariants in Petri nets
A simulation system architecture for graph models
On Liveness in Extended non Self-Controlling Nets
LoLA as Abstract Planning Engine of PlanICS
Process Discovery Using Integer Linear Programming
Token Trail Semantics II - Petri Nets And Their Net Language
A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN) 2
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets
Petri Net Based Behavioural Specification of CORBA Systems
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
Applying Petri Nets to Approximation of the Euclidean Distance with the Example of SIFT
M-timed Petri nets, priorities, preemptions, and performance evaluation of Petri nets
Model-Driven Development of Performance Sensitive Cloud Native Streaming Applications
Data and Abstraction for Scenario-Based Modeling with Petri Nets
Wendy: A Tool to Synthesize Partners for Services
Hierarchical Set Decision Diagrams and Automatic Saturation
Complex Networks and Link Streams for the Empirical Analysis of Large Software
A Petri Net Approach for Reusing and Adapting Components with Atomic and non-atomic Synchronisation
The Information Systems Modeling Suite - Modeling the Interplay Between Information and Processes
Timed Processes of Timed Petri Nets
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings
Simulating Place/Transition Nets by a Distributed, Web Based, Stateless Service
Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991
Solving Puzzles using Coloured Petri Nets
Subclasses of Self-Modifying Nets
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers
Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets
Pattern Matching in Link Streams: A Token-Based Approach
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016 co-located with the 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and the 16th International Conference on Application of Concurrency to System Design ACSD 2016, Toruń, Poland, June 20-21, 2016
On Profiles and Footprints - Relational Semantics for Petri Nets
An Approach to the Analysis of Interworking Traders
On the Integration of UML and Petri Nets in Software Development
Petri Nets over Partial Algebra
Petri Net Based Specifications of Services in an Intelligent Network - Experiences gained from a Test Case Application
Partial S-Invariants for the Verification of Infinite Systems Families
Modelling and Evaluation of a Satellite System Using EVAL*, a Petri Net Based Industrial Tool
Two Alterative Definitions of Synchronic Distance
PLC Programming with Signal Interpreted Petri Nets
Synthesis of (Choice-Free) Reset Nets
Refinement and Simulation of Nets - A Categorical Characterisation
Towards a comprehensive office model integrating information and resources
Modeling Interactions between Biochemical Reactions
Reconstructing X'-deterministic extended Petri nets from experimental time-series data X'
Runtime Verification of Timed Petri Nets
Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol
New Canonical Representative Marking Algorithms for Place/Transition-Nets
Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction
Arduino Library Developed for Petri Net Inserted into RFID Database and Variants
Weighted Synchronic Distances
Probabilistic Time Petri Nets
Concurrent Implementation of Asynchronous Transition Systems
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
Structural Decomposition and Serial Solution of SPN Models of the ATM GAUSS Switch
A Note on D-Continuous Causal Nets
Analysis of an Ada System Using Coloured Petri Nets and Occurrence Graphs
Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models
Benchmarking Classifier Performance with Sparse Measurements
Japonsko-český strojový překlad
Approximate Abundance Histograms and Their Use for Genome Size Estimation
Creating 3D Diorama from Single Image with Deep Learning
Contemplating Efficiency of the ROOT File Format for Data Intensive Simulations in Particle Physics
Proceedings of the Conference on Theory and Practice of Information Technologies, ITAT 2010, Hotel Smrekovica, Veľká Fatra, Slovak Republic, September 21-25, 2010
Transferable Programs and Reactions for Modeling IoT Network
On the denotational semantics of XML-Lambda
Input Combination for Monte Carlo Localization
Towards Deep and Interpretable Rule Learning (invited paper)
jSO and GWO Algorithms Optimise Together
Segmenting out Generic Objects in Monocular Videos
Solving Three Czech NLP Tasks with End-to-end Neural Models
Semisupervised Segmentation of UHD Video
Precise Nanopore Signal Modeling Improves Unsupervised Single-Molecule Methylation Detection
Learning to Segment from Object Sizes
Phonetic Transcription by Untrained Annotators
Comparing Non-Linear Regression Methods on Black-Box Optimization Benchmarks