yusuke1997/dblp-id-title huggingface dataset:
Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods
Interleaving Functional and Performance Structural Analysis of Net Models
Overview on Topic 3: Information Flow and Concurrency
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets
Complexity Analysis of Continuous Petri Nets
An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets
Graph-Theoretical Analysis of a Subclass of Petri Nets
Mochy: A Tool for the Modeling of Concurrent Hybrid Systems
Performance Bounds for Stochastic Timed Petri Nets
A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography
Towards Extensible Structural Analysis of Petri Net Product Lines
Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets
Quantitative modelling of biological systems with extended Fuzzy Petri Nets
Invariant Calculations for P/T-Nets with Synchronous Channels
Restricting Hornets to Support Self-adaptive Systems
Lifting Process Discovery and Conformance Checking to the Next Level: A General Approach to Object-Centric Process Mining (Invited Talk)
Process Mining in IT Service Management: A Case Study
On the Expressive Power of Petri Net Schemata
MuPSi - a multitouch Petri net simulator for transition steps
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets
Synthesis of Elementary Net Systems with Context Arcs and Localities
Variable Reasoning and Analysis about Uncertainty with Fuzzy Petri Nets
An Efficient Characterization of Petri Net Solvable Binary Words
Real-Time Property Specific Reduction for Time Petri Net
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004
Automatic Modularization of Place/Transition Nets
Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets
An Algorithm for Direct Construction of Complete Merged Processes
Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods
A New Property of Choice-Free Petri Net Systems
Rewriting Logic as a Unifying Framework for Petri Nets
High-Level Petri Nets
Using Petri Nets in Measurements of a Distributed Data Base System
Exact and Approximated Log Alignments for Processes with Inter-case Dependencies
Translating Workflow Nets into the Partially Ordered Workflow Language
Towards Fault Tolerant Real Time Systems by Using Petri Nets
Harnessing Structure Theory of Petri Nets in Discrete Event System Simulation
On Modeling internal organs and meridian system based on traditional Chinese medicine
Leakage Notion
Stubborn sets for reduced state space generation
Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues
A note on observable occurrence nets
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets
Application and Theory of Petri Nets 2000, 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols
Modeling Mobile Agents in Vehicular Networks
Coloured Petri nets: A high level language for system design and analysis
Towards Comprehensive Support for the Dynamic Analysis of Petri Net Based Models
Hierarchical Timed High Level Nets and Their Branching Processes
Equivalence transformations of PrT-nets
Using Petri Nets to Develop Programs for PLC Systems
Abstraction-Based Incremental Inductive Coverability for Petri Nets
Decidability Problems for Weak Time Petri Nets with Read, Reset and Transfer Arcs
Firing Partial Orders in a Petri Net
Colored GSPN Models for the QoS Design of Internet Subnets
Iterative Decomposition and Aggregation of Labeled GSPNs
Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking
Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings
Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings
A Concept of Hierarchical Petri Nets with Building Blocks
Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis
The Relationship between Time and Information
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018
Coloured Petri Nets Extended with Channels for Synchronous Communication
New Structural Invariants for Petri Nets Analysis
Do Petri Nets Provide the Right Representational Bias for Process Mining?
Instance Deadlock: A Mystery behind Frozen Programs
Combining Petri Nets and Other Formal Methods
Defining meaningful Local Process Models
Comparing metabolic pathways through potential fluxes: a selective opening approach
Renew 2.5 - Towards a Comprehensive Integrated Development Environment for Petri Net-Based Applications
Step Persistence in the Design of GALS Systems
Combining Decomposition and Unfolding for STG Synthesis
Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms
Skeleton Abstraction for Universal Temporal Properties
Petri Nets in Multi-Paradigm Modelling
How Might Petri Nets Enhance Your Systems Biology Toolkit
Efficiency of Token-Passing MUTEX-Solutions - Some Experiments
Labeled Step Sequences in Petri Nets
Protocol analysis using numerical Petri nets
Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method
Efficient Symbolic State-Space Construction for Asynchronous Systems
RT-Studio: A Tool for Modular Design and Analysis of Realtime Systems Using Interpreted Time Petri Nets
The Box Algebra - A Model of Nets and Process Expressions
Efficient Simulation of THOR Nets
Coverability and Termination in Recursive Petri Nets
One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs
Discovering Block-Structured Process Models from Event Logs - A Constructive Approach
Faster Unfolding of General Petri Nets Based on Token Flows
Context-sensitive analysis of data interference for concurrent programs
Modeling Trading Systems using Petri Net Extensions
Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers
Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models
Quantitative Reaction Systems
Data Centric Workflows for Crowdsourcing
Topological Aspects of Traces
Inferring Activity Concurrency Relations from Incomplete Event Logs
Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings
Treatment of Recovery Problems Using Cuts in Occurence Nets
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning
Mining Modular Structure of Processes using Process Line Diagrams
Flexibility in Algebraic Nets
Stochastic Methods for Dependability, Performability, and Security Evaluation
General Composition for Symmetric Net Arc Functions with Applications
Net Representation of Sentences in Natural Languages
The SEA Language for System Engineering and Animation
Adaptative Systems Based on Continuous Observation of Petri Net Product Lines
Modular System Development with Pullbacks
Petri Nets as a Means to Validate an Architecture for Time Aware Systems
The Petri Net Markup Language: Concepts, Technology, and Tools
On the Reversibility of Live Equal-Conflict Petri Nets
On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets
Petri Net Theory - Problems Solved by Commutative Algebra
Discrete-Time Leap Method for Stochastic Simulation
Analysis and Synthesis of Weighted Marked Graph Petri Nets
Operational Petri net semantics for CCSP
An Evaluation of Automated Code Generation with the PetriCode Approach
Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design
High Level Petri Nets Analysis with Helena
Net Models for Concurrent Object Behaviour
Algebraic structure of flows of a regular coloured net
An Integrated Environment for Petri Net Slicing
Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets
Petra: A Tool for Analysing a Process Family
Timed Petri nets and application to multi-stage production systems
SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)
Representation of a swapping class by one net
Complexity Aspects of Web Services Composition
A Symmetric Petri Net Model of Generic Publish-Subscribe Systems for Verification and Business Process Conformance Checking
Positive Non-interference in Elementary and Trace Nets
Component Tools: Integrating Petri Nets with Other Formal Methods
Some Consequences of the Decidability of the Reachability Problem for Petri Nets
Application of Model-based Testing on a Quorum-based Distributed Storage
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems
Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study
Generalized Automata and Their Net Representations
Mining Duplicate Tasks from Discovered Processes
On the α-Reconstructibility of Workflow Nets
Optimal simulations, nets and reachability graphs
Modal Open Petri Nets
Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem
P- and T-Systems in the Nets-within-Nets-Formalism
On communication protocol modelling and design
Knowledge and Business Intelligence Technologies in Cross-Enterprise Environments for Italian Advanced Mechanical Industry
VR-based rehabilitation of cognitive functions among stroke-survivors
Elementary net systems and dynamic logic
Dynamic Software Architecture for Distributed Embedded Control Systems
Coloured Petri Nets: Status and Outlook
Compositionality in State Space Verification Methods
Flow Unfolding of Multi-clock Nets
Awareness and Control in Adaptable Transition Systems
Concurrent Programming from pseuCo to Petri
Synthesising Elementary Net Systems with Interval Order Semantics
On Petri nets with deterministic and exponentially distributed firing times
On Stubborn Sets in the Verification of Linear Time Temporal Properties
The ComBack Method - Extending Hash Compaction with Backtracking
S-CORT (R) : a method for the development of electronic payment systems
SMT-based parameter synthesis for L/U automata
Bibliography on Petri nets 1990
The Devnet: a Petri Net for Discrete Event Simulation
The Construction of EN Systems from a Given Trace Behavior
A fifo-net model for processes with asynchronous communication
How Expressive Are Petri Net Schemata?
Piecewise Affine Dynamical Models of Timed Petri Nets - Application to Emergency Call Centers
Linear invariants in commutative high level nets
Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets
Petri net tool overview 1989
Fan processes
Discovering Process Models with Long-Term Dependencies While Providing Guarantees and Handling Infrequent Behavior
Compact Regions for Place/Transition Nets
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning
Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net
Control of Flexible Production Systems and Petri Nets
Improving the Usability of Petri Nets with the »Petri Net Baukasten«
Obtaining Deadlock-Preserving Skeletons for Coloured Nets
Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets
Coverability in Well-Formed Free-Choice Nets
Overview on Topic 4: Net Morphisms and Higher Level Net Interpretations
ILP-Based Process Discovery Using Hybrid Regions
Concurrency axioms and D-continuous posets
Traffic Analysis of Web Browsers
Self-adaptive Model Checking, the Next Step?
Guidelines on using net analysis techniques with large specifications
ASAP: An Extensible Platform for State Space Analysis
Nets with Tokens Which Carry Data
Visualizing Token Flows Using Interactive Performance Spectra
Modeling Distributed Private Key Generation by Composing Petri Nets
Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures
Deficiency Zero Petri Nets and Product Form
Analysing Probabilistic Hornets
Discovery of Functional Architectures From Event Logs
Verification of Workflow Nets
Synthesis of Nets with Step Firing Policies
Petri Net Based Certification of Event-Driven Process Chains
Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets
Analysis of Petri Nets with a Dynamic Priority Method
Occurrence Graphs for Interval Timed Coloured Nets
Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets
RNL - A Language for Digital Systems Design Based on Nets
Relational Structures for Interval Order Semantics of Concurrent Systems
On-The-Fly Model Checking of Times Properties on Time Petri Nets
Coordination technology and Petri nets
Modeling and Analyzing Wireless Sensor Networks with VeriSensor
Resource Equivalences in Petri Nets
Complexity of the Soundness Problem of Bounded Workflow Nets
Oclets - Scenario-Based Modeling with Petri Nets
Flat Petri Nets (Invited Talk)
Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets
A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms
OCπ: Object-Centric Process Insights
Towards Verification of Connection-Aware Transaction Models for Mobile Applications
Discovering Unseen Behaviour from Event Logs
Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets
Modeling Fine Grain Computation via the Fusion of Two Extended Petri Nets
An Environment for Object- oriented Conceptual Programming Based on PROT Nets
Petriweb: A Repository for Petri Nets
Well-Formedness of Equal Conflict Systems
Life-Cycle Inheritance: A Petri-Net-Based Approach
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets
Constructs for Modeling Information Systems with Petri Nets
3D-Visualization of Petri Net Models: Concept and Realization
Towards a Modular Analysis of Coloured Petri Nets
Extraction of Insider Attack Scenarios from a Formal Information System Modeling
Synthesis of Petri Nets from Scenarios with VipTool
The Ins and Outs of Petri Net Composition
A Term Representation of P/T Systems
PSI: A Petri net based simulator for flexible manufacturing systems
A Fair Competition Between Two or More Partners
Symbolic Domains and Reachability for Nets with Trajectories
Extension of Batches Petri Nets by Bi-parts Batch Places
Secrecy by Witness Functions
Petri nets in Modeling Glucose Regulating Processes in the Liver
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, ATAED 2015, Satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, June 22-23, 2015
The ePNK: An Extensible Petri Net Tool for PNML
On Combining the Stubborn Set Method with the Sleep Set Method
Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Paris, France, June 24-25, 2020, Proceedings
Analysis of Petri Net Models through Stochastic Differential Equations
Unfolding Models of Asynchronous Systems: Applications to Analysis and Synthesis
Cloud Transition: Integrating Cloud Calls into Workflow Petri Nets
Proceedings of the Workshop Petri Net Games, Examples and Quizzes for Education, Contest and Fun co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2024), Geneva, Switzerland, June 25, 2024
Using Model Checking to Identify Customers Purchasing Behaviour in an E-Commerce
On-the-Fly Synthesis for Strictly Alternating Games
Taking on Infrequent Behavior in Event Logs using Hypothesis Tests
Orthomodular Lattices in Occurrence Nets
Synthesis of Net Systems
A net model of a local area network protocol
A General Systematic Approach to Arc Extensions for Coloured Petri Nets
Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes
Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
Compatibility Analysis of Time Open Workflow Nets
Modelling the Behaviour of Management Operations in Cloud-based Applications
From Process-Agnostic to Process-Aware Automation, Mining, and Prediction
On the High Complexity of Petri Nets ømega-Languages
Modelling of Pilot Behaviour Using Petri Nets
Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models
On the Hardness of Synthesizing Boolean Nets
A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future
ProM 4.0: Comprehensive Support for Real Process Analysis
Deciding Reachability and Coverability in Lossy EOS
Reversing Computations Modelled by Coloured Petri Nets
Optimising Enabling Tests and Unfoldings of Algebraic System Nets
Dependent shrink for Petri net models of signaling pathways
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019
Performance and Replica Consistency Simulation for Quorum-Based NoSQL System Cassandra
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics
The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets
A Simple Abstract Interpretation for Petri Net Queries
Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools
Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers
CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers
PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research
A System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs
Factorisation of Petri Net Solvable Transition Systems
Siphons, Traps and High-Level Nets with Infinite Color Domains
Generative Families of Positive Invariants in Coloured Nets Sub-Classes
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions
Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Integrating Verification into the PAOSE Approach
Reachability Graphs of Two-Transition Petri Nets
Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets
Synthesis of Petri Nets with Restricted Place-Environments: Classical and Parameterized
Beta processes of C/E systems
\alphaTrellis: A system for writing and browsing Petri-net-based hypertext
Scenario-Based Modeling and Programming of Distributed Systems
Slicing Petri Nets to Reduce Their Complexity - Abstract
Transactions and Zero-Safe Nets
Some Petri Net Problems with Counterintuitive Solutions
Coloured Petri Nets Based Diagnosis on Causal Models
Modeling Operational Semantics with Interval Orders Represented by Sequences of Antichains
Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets
Catalog-based Token Transportation in Acyclic Block-Structured WF-nets
Advantages of a Full Integration between Agents and Workflows
Circular Traffic Queues and Petri's Cycloids
Complexity Results for Elementary Hornets
Decidable Classes of Unbounded Petri Nets with Time and Urgency
Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems
A distributed simulator for high order Petri nets
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets
Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets
High-Level Message Sequence Charts: Satisfiability and Realizability Revisited
Complexity of Alignments on Sound Free-Choice Workflow Nets
Reaction Systems: A Formal Framework for Processes
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms
A Framework to Decompose GSPN Models
Old and New Algorithms for Minimal Coverability Sets
Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs
A Component Framework where Port Compatibility Implies Weak Termination
Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform
Hierarchical Simulation of Timed Behaviours of Structured Occurrence Nets
Efficient Algorithms for Three Reachability Problems in Safe Petri Nets
Compositional Semantics of Pure Place/ Transition Systems
From Code to Coloured Petri Nets: Modelling Guidelines
Condensed State Spaces for Timed Petri Nets
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language
Marking Optimization In Timed Event Graphs
A Semantics for Every GSPN
Modelling scheduling problems with timed Petri nets
Design, Modelling and Analysis of a Workflow Reconfiguration
Partial Specifications of Component-Based Systems using Petri Nets
Experimenting with Stubborn Sets on Petri Nets
Proceedings of The International Health Data Workshop co-located with 10th International Conference on Petrinets (Petri Nets 2022), Bergen, Norway, June 26th-27th, 2022
Saturation Conditions For Stochastic Petri Nets
Using Petri Nets for Analysis of Navigation Paths in Constrained Graphs - Application to Roguelike Games
StrataGEM: A Generic Petri Net Verification Framework
De-Materializing Local Public Administration Processes
Model Checking of Strategic Timed Temporal Logics (Invited Talk)
Tools for Curry-Coloured Petri Nets
Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets
Process periods and system reconstruction
Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN
Behaviour of a Place - Transition Net on a Subset of Transitions
Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
Leveraging the Pedagogical Potential of Tile-Based Games for Teaching Petri Net Modeling, the Sokoban Case
Deadlocks and Livelocks in Resource Constrained Workflow Nets
Iterative Decomposition and Aggregation of Stochastic Marked Graph Petri Nets
Infinite Process Semantics of Inhibitor Nets
Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings
Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets
Efficient Implementation of Prioritized Transitions for High-level Petri Nets
Web Service Orchestration with Super-Dual Object Nets
Generalized Alignment-Based Trace Clustering of Process Behavior
The ProM Framework: A New Era in Process Mining Tool Support
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis
Mining with User Interaction
Improving Drone-based Parcel Delivery in a Delivery System at its Capacity Limit
Decomposing Replay Problems: A Case Study
Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), Paris, France, June 24, 2020 (due to COVID-19: virtual conference)
Design-Review by Petri-Nets