yusuke1997/dblp-id-title huggingface dataset:
Design and Run-Time Analysis of Self-Adaption for Multi-Agent Organisations
Classifying Boolean Nets for Region-based Synthesis
Simulation and Analysis of a Document Storage System
Petri Nets Modeling in Pipelined Microprocessor Design
PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets
Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision
Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Caparica, Portugal, June 25-30, 2023
Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets
On net systems generated by process foldings
Analysis of Place/Transition Nets with Timed Arcs and its Application to Batch Process Control
Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification
Towards Distributed Control of Discrete-Event Systems
Recursive Nets
Partial words versus processes: a short comparison
Bridging the Gap Between Formal Methods and Software Engineering Using Model-based Technology
A lattice theoretic view of K-density
Computing Under-approximations of Multivalued Decision Diagrams
Improved Implementations via a New Structural Equivalence on Labelled Nets
Forward Analysis for Petri Nets with Name Creation
Decision Diagrams for Petri Nets: Which Variable Ordering?
Behavioral Equivalence of Concurrent Systems
Negotiation Programs
The Modelling and Analysis of IEEE 802.6's Configuration Control Protocol with Coloured Petri Nets
Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets
Computing Transience Bounds of Emergency Call Centers: A Hierarchical Timed Petri Net Approach
The design of a program package for an introductory Petri net course
ILP 2 Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming
A Compositional Model of Time Petri Nets
The Minimal Coverability Graph for Petri Nets
Providing Petri Net-Based Semantics in Model Driven-Development for the Renew Meta-Modeling Framework
Taking Complete Finite Prefixes to High Level, Symbolically
Finding a Witness Path for Non-liveness in Free-Choice Nets
Delays in synchronized elementary net systems
Towards reachability trees for high-level Petri nets
Music Description and Processing by Petri Nets
Performance Analysis of a Connection Management Scheme in IWU Interconnecting LANs Across ATM Networks
Modeling and Enactment of Workflow Systems
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation
Fair controls and their realization
Morphisms on Marked Graphs
Hasse Diagram Generators and Petri Nets
Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017
Challenges and Opportunities for Formal Specifications in Service Oriented Architectures
Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets
Determination of a poset by its co-relation
Abstract Cyclic Communicating Processes: A Logical View
Stochastic Modeling and Analysis Using QPME: Queueing Petri Net Modeling Environment v2.0
Automatic Verification of Finite-state Concurrent Systems
Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings
D&A4WSC as a Design and Analysis Framework of Web Services Composition
Dynamic Recursive Petri Nets
An accurate performance model of CSMA/CD bus LAN
Construction of a Class of Safe Petri Nets by Presenting Firing Sequences
Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings
Frozen tokens and D-continuity: A study in relating system properties to process properties
Soundness of Timed-Arc Workflow Nets
IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development
Overview on Topic 6: Reliability and Recovery Issues
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
An SRN-Based Resiliency Quantification Approach
On Discovering Distributed Process Models the case of asynchronous communication
Interleaving vs True Concurrency: Some Instructive Security Examples
Petri Nets for Information Systems Modelling
Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis
Concurrency and continuity
Hierarchical Conformance Checking of Process Models Based on Event Logs
Aggregating Causal Runs into Workflow Nets
AB-QSSPN: Integration of Agent-Based Simulation of Cellular Populations with Quasi-Steady State Simulation of Genome Scale Intracellular Networks
Overcoming unknown kinetic data for quantitative modelling of biological systems using fuzzy logic and Petri nets
Petri Net Modelling and Reliability of Distributed Algorithms
CPN Assistant II: A Tool for Management of Networked Simulations
A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets
Forward Analysis and Model Checking for Trace Bounded WSTS
An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets
Improved Question-Guided Stubborn Set Methods for State Properties
Semantics, composition and net properties of algebraic high-level nets
Relating Process Models and Event Logs - 21 Conformance Propositions
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks
Synthesizing Petri Nets from Labelled Petri Nets
A New Iterative Numerical Solution Algorithm for a Class of Stochastic Petri Nets
Proceedings of the Workshop Applications of Region Theory 2011, Newcastle upon Tyne, UK, June 21, 2011
Failure Resilience of Strongly Synchronized Processes
An Extensible Editor and Simulation Engine for Petri Nets: Renew
Data Structures and Algorithms for Extended State Space and Structural Level Reduction of the GSPN Model
Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints
Design, Simulation, and Implementation of Hybrid Systems
Semantics of concurrent systems: a modular fixed-point trace approach
CEDISYS: Compositional Distributed Systems - State of the art, research goals, references
An O(|S|×|T|)- Algorithm to Verify if a Net is Regular
Overview on Topic 2: Programming Languages and Software Engineering
A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-Nets
Modelling Hybrid Cyber Kill Chain
Thinking in Cycles
Petri net models of a distributed election protocol on a unidirectional ring
A First Glimpse at Petri Net Regions
State Estimation and Fault Detection Using Petri Nets
A multi-scale extensive Petri net model of the bacterial-macrophage interaction
On the Decomposition of Regional Events in Elementary Systems
Stubborn Sets for Simple Linear Time Properties
Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings
Timed Petri net schedules
Computing Alignments with Constraint Programming: The Acyclic Case
Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings
On the analysis and synthesis of free choice systems
The box calculus: a new causal algebra with multi-label communication
Introducing the Quick Fix for the Petri Net Modeling Tool Renew
On structural properties of generalized processes
Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty
Process Mining Representation using Communication Structured Acyclic Nets (CSA-nets)
Asynchronous Control Device Design by Net Model Behavior Simulation
Petri Nets and Semantics of System Descriptions
Kleene Theorem for Labelled Free Choice Nets without Distributed Choice
Towards Automatic Extraction of Events for SON Modelling
Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations
Deciding (Sub-Marking) Reachability in ±b O(P 2 + T 2) for Sound Acyclic Free-Choice Workflow Nets
History-Dependent Petri Nets
Concurrency in Functional Descriptions
Deterministic Languages of Petri Nets
OR Causality: Modelling and Hardware Implementation
Transit Case Study
Proceedings of the International Workshop on Biological Processes & Petri Nets, Milano, Italy, June 24, 2013
On Reduction of Cycloids
SWN Analysis and Simulation of Large Knockout ATM Switches
Petri nets and algebraic calculi of processes
Discovery of Personal Processes from Labeled Sensor Data - An Application of Process Mining to Personalized Health Care
Formal Enforcement of Security Policies on Choreographed Services
Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems
Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams
Infinity of Intermediate States Is Decidable for Petri Nets
Logical Reasoning and Petri Nets
PlanICS 2.0 - A Tool for Composing Services
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys
Cloud Transition for QoS Modeling of Inter-Organizational Workflows
Robustness: A natural Definition based on Nets-within-Nets
Structural Transformations Giving B-Equivalent PT-Nets
On Modelling and Validation of the MQTT IoT Protocol for M2M Communication
A Refined View of the Box Algebra
A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Fixed Parameter Tractability and Polynomial Time Results for the Synthesis of b-bounded Petri Nets
Model-based Development for MAC Protocols in Industrial Wireless Sensor Networks
The Resource Allocation Problem in Flexible Manufacturing Systems
On Multi-enabledness in Time Petri Nets
On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking
Modeling and Analysing DART Systems Through High-Level Petri Nets
Stochastic Evaluation of Large Interdependent Composed Models Through Kronecker Algebra and Exponential Sums
Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings
From Event-Oriented Models to Transition Systems
Improving the efficiency of the analysis of DSPN models
Using High Level Nets for the Design of Reconfigurable Manufacturing Systems
A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets
Galileo: A Methodology for Modelling and Designing Real Time Systems
On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet
Use of reentrant nets in modular analysis of colored nets
A Characterization of Combined Traces Using Labeled Stratified Order Structures
GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems
Waiting Nets
A Proposal for the Modeling of Organizational Structures and Agent Knowledge in MAS
HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets
Improving Performance of Complex Workflows: Investigating Moving Net Execution to the Cloud
On Internal and External Characterizations of PT- net Building Block Behaviors
Asynchronous Composition of High Level Petri Nets: A Quantitative Approach
Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), Paris, France, June 25th, 2021 (due to COVID-19: virtual conference)
Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology
Parameterised CSA-nets
Fault Detection in Telecommunication Networks Based on a Petri Net Representation of Alarm Propagation
Improving Saturation Efficiency with Implicit Relations
Properties of Plain, Pure, and Safe Petri Nets - with some Applications to Petri Net Synthesis
Characterising Petri Net Solvable Binary Words
Maximal Confluent Processes
Trace Language: Mining Micro-configurations from Process Transition Traces
Integrating NLP and Structured Occurrence Nets for Crime Modelling: A Pattern-based Approach
Analysis of the TMS320C40 Communication Channels Using Timed Petri Nets
Simplifying LTL Model Checking Given Prior Knowledge
Verification of Communication Structured Acyclic Nets Using SAT
Composition of nets via a communication medium
Hierarchies in coloured Petri nets
On the Composition of Timed Systems
Prospective Research Topics towards Preserving Electronic Health Records in Decentralised Content-Addressable Storage Networks
Process Comparison Using Petri Net Decomposition
On Questions of Fairness and Temporal Logic for Conflict- Free Petri Nets
Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets
Symbolic, Symmetry, and Stubborn Set Searches
Minimising the Synthesised ENL-Systems
Monotonicity in Service Orchestrations
Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets
Distributed Implementation of CCS
The (True) Concurrent Markov Property and Some Applications to Markov Nets
Distributed Simulation of Timed Petri Nets: Exploiting the Net Structure to Obtain Efficiency
A Monitoring Toolset for Paose
Incremental State Space Construction for Coloured Petri Nets
P/T-systems as abstractions of C/E-systems
Hood nets
Symbolic Model Checking in the Modular State Space Using Binary Decision Diagrams
Autonomous Continuous P/T Systems
Automatic Synthesis of Transiently Correct Network Updates via Petri Games
Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory
Faster Enabledness-Updates for the Reachability Graph Computation
Parallel State Space Exploration for GSPN Models
Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language
The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework
Towards a Systematic Model-driven Approach for the Detection of Web Threats and Use Cases
SMT-based Abstract Temporal Planning
Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System
Enjoy the Silence, Part II: Probability-Based Queries on Stochastic Labelled Petri Nets
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets
Can a Single Transition Stop an Entire Net?
Modelling the Work Flow of a Nuclear Waste Management Program
Symbolic Model Checking Using Intervals of Vectors
Reproducibility of the Empty Marking
Hardness Results for the Synthesis of b-bounded Petri Nets
Petri Net Based Model Validation in Systems Biology
The signing of a contract - a tree-structured application
A Petri-Net-Based Approach to Modeling Communication Algorithms for HPC Molecular Dynamics Simulations
Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems (abstract)
GreatSPN Enhanced with Decision Diagram Data Structures
Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets
Application of Petri Nets to Communication Networks, Advances in Petri Nets
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets
Infinitary Partial Petri Net Languages and Their Relationship to Other Petri Net Semantics
Can I Execute My Scenario in Your Net?
A survey of basic net models and modular net classes
Learning Workflow Petri Nets
Stochastic Colored Petri Net Models for Rainbow Optical Networks
Case Studies of the Renew Meta-Modeling and Transformation Framework
Saturation Enhanced with Conditional Locality: Application to Petri Nets
Deterministic Systems of Sequential Processes: a class of structured Petri nets
A Study on Team Bisimulations for BPP Nets
On the Origin of Events: Branching Cells as Stubborn Sets
SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets
Graphical Languages for Functional Reactive Modeling based on Petri nets
Formal Verification of an Arbiter Cascade
P-Superfairness in Nets
Symbolic Reachability Graph and Partial Symmetries
Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets
An Enhanced Rewriting Logic Based Semantics for High Level Petri nets
Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course
Languages of Higher-Dimensional Timed Automata
The Chameleon Game
An Efficient Algorithm for Finding Structural Deadlocks in Colored Petri Nets
Using High-Level Petri Nets in the Field of Intelligent Networks
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, Torun, Poland, June 20-21, 2016
Integrating Web Services in Petri Net-based Agent Applications
Structural Reductions Revisited
Unfolding CSPT-nets
Recent results on the complexity of problems related to Petri nets
A comparative study of different techniques for semi-flows computation in place/transition nets
Articulation of Transition Systems and Its Application to Petri Net Synthesis
Reversing Steps in Petri Nets
Transforming Nets Along the Syntactic Production of Programs
On the Product Form Solution for Stochastic Petri Nets
Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets
Emails Analysis for Business Process Discovery
Pomset Languages of Finite Step Transition Systems
Compositional Liveness Properties of EN-Systems
LoLA: A Low Level Analyser
Markov Regenerative Stochastic Petri Nets with Age Type General Transitions
How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
Milner's Communicating Systems and Petri Nets
Reasoning About Discovery Clouds
A Study of the Projection Operation
Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems
Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol
Implementation of Weighted Place/Transition Nets Based on Linear Enabling Functions
Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning
Top-down synthesis of live and bounded free choice nets
Petri nets and flexible manufacturing
Capacity Planning for Vertical Search Engines: An Approach Based on Coloured Petri Nets
On the Implementation of Petri Nets
Topics in Region Theory and Synthesis Problems
Process Model Discovery: A Method Based on Transition System Decomposition
Construction of Distributed Systems from Cycle-Free Finite Automata
Taking Advantages of Temporal Redundancy in High Level Petri Nets Implementations
SonarEditor: A Tool for Multi-Agent-Organizations Modelling
Extending PNML Scope: the Prioritised Petri Nets Experience
The effect of vector synchronization: residue and loss
A state transformation preorder over a class of EN systems
Handles and Reachability Analysis of Free Choice Nets
Improving the Development Tool Chain in the Context of Petri Net-Based Software Development
Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario
Expressing and Computing Passage Time Measures of GSPN Models with HASL
Complexity Made Simple (at a Small Price)
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation
Component-Based Construction of Heterogeneous Real-Time Systems in Bip
Advances in Petri Nets 1984, European Workshop on Applications and Theory in Petri Nets, covers the last two years which include the workshop 1983 in Toulouse and the workshop 1984 in Aarhus, selected papers
Distributed P/T Net Simulation Prototypes Based on Event Streaming
CosyVerif: The Path to Formalisms Cohabitation
Verification of Siphons and Traps for Algebraic Petri Nets
Petri Net systems and their closure properties
A First Prototype for the Visualization of the Reachability Graph of Reference Nets
Graphical Simulation Feedback in Petri Net-based Domain-Specific Languages within a Meta-Modeling Environment
Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets
Automatic Decomposition of Petri Nets into Automata Networks - A Synthetic Account
Symmetric Communication between Coloured Petri Net Simulations and Java-Processes
Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings
Timed-Arc Petri Nets vs. Networks of Timed Automata
Modeling and Solving Constraint Satisfaction Problems through Petri Nets
Folding Partially Ordered Runs
Petri Nets and Reliable Real Time Systems
Analysis of the Signal Transduction Dynamics Regulating mTOR with Mathematical Modeling, Petri Nets and Dynamic Graphs
Colored Petri Nets Based Modelling and Simulation of the Static and Dynamic Allocation Policies of the Asynchronous Bandwidth in the Fieldbus Protocol
Petri Nets Specification of Virtual Ring Protocols
Properties of Object Petri Nets
Stochastic Petri nets: an elementary introduction
A logical formalism for the study of the infinite behaviour of Petri nets
Genetic Process Mining
Mining with Eve - Process Discovery and Event Structures
The residue of vector sets with applications to decidability problems in Petri nets
Reachability Analysis Based on Structured Representations
An SMT-Based Discovery Algorithm for C-Nets
Prototyping Object Oriented Specifications
On the Reversibility of Circular Conservative Petri Nets
New Priority-Lists for Scheduling in Timed Petri Nets
Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved!
Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets
The Pheromone of Ant Emulated by Petri Net Inserted Inversely in RFID Database for Swarm Robots
Discovering Block-Structured Process Models from Incomplete Event Logs
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) A 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
Timed Petri Nets and BQOs
Monitoring Discrete Event Systems Using Petri Net Embeddings
CSP-programs with individual tokens
Modular Modeling of SMIL Documents with Complex Termination Events
Formal Modelling and Analysis of Distributed Storage Systems
Circuits, handles, bridges and nets
Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?
A Subset of Lotos with the Computational Power of Place/Transition-Nets
Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings
Translation Validation of Scheduled Conditional Behavior using PN
Using SNOMED CT as a Semantic Model for Controlled Natural Language Guided Capture of Clinical Data