On the public citation graph

Lectures on Concurrency and Petri Nets

https://doi.org/10.1007/b98282
0 signed · 274 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/9781394388660.refsopenalex-snapshot
References
inferred← citeshttps://doi.org/10.1007/11494744_14openalex-snapshot
Termination Properties of TCP’s Connection Management Procedures
inferred← citeshttps://doi.org/10.1007/11494744_16openalex-snapshot
High-Level Nets with Nets and Rules as Tokens
inferred← citeshttps://doi.org/10.1007/11494744_18openalex-snapshot
Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets
inferred← citeshttps://doi.org/10.1007/11538394_14openalex-snapshot
Visualization Support for Managing Large Business Process Specifications
inferred← citeshttps://doi.org/10.1007/11548133_2openalex-snapshot
Labels from Reductions: Towards a General Theory
inferred← citeshttps://doi.org/10.1007/11560647_18openalex-snapshot
Symbolic Model Checking of Finite Precision Timed Automata
inferred← citeshttps://doi.org/10.1007/11562436_12openalex-snapshot
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol
inferred← citeshttps://doi.org/10.1007/11562436_14openalex-snapshot
A Petri Net View of Mobility
inferred← citeshttps://doi.org/10.1007/11562948_29openalex-snapshot
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata
inferred← citeshttps://doi.org/10.1007/11562948_33openalex-snapshot
Model Checking Real Time Java Using Java PathFinder
inferred← citeshttps://doi.org/10.1007/11562948_34openalex-snapshot
Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols
inferred← citeshttps://doi.org/10.1007/11575771_5openalex-snapshot
Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System
inferred← citeshttps://doi.org/10.1007/11591962_4openalex-snapshot
Modular Verification of Reconfigurable Components
inferred← citeshttps://doi.org/10.1007/11594116_4openalex-snapshot
Linking Micro and Macro Description of Scalable Social Systems Using Reference Nets
inferred← citeshttps://doi.org/10.1007/11690634_13openalex-snapshot
Bigraphical Models of Context-Aware Systems
inferred← citeshttps://doi.org/10.1007/11691617_12openalex-snapshot
A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols
inferred← citeshttps://doi.org/10.1007/11767589_17openalex-snapshot
Towards Synthesis of Petri Nets from Scenarios
inferred← citeshttps://doi.org/10.1007/11767589_26openalex-snapshot
The BRITNeY Suite Animation Tool
inferred← citeshttps://doi.org/10.1007/11767589_7openalex-snapshot
Non-sequential Behaviour of Dynamic Nets
inferred← citeshttps://doi.org/10.1007/11787044_19openalex-snapshot
Business Process Modeling: Defining Domain Specific Modeling Languages by Use of UML Profiles
inferred← citeshttps://doi.org/10.1007/11867340_10openalex-snapshot
Model Checking Timed Automata with Priorities Using DBM Subtraction
inferred← citeshttps://doi.org/10.1007/11867340_11openalex-snapshot
Symbolic Robustness Analysis of Timed Automata
inferred← citeshttps://doi.org/10.1007/11867340_8openalex-snapshot
Matching Scenarios with Timing Constraints
inferred← citeshttps://doi.org/10.1007/11885191_12openalex-snapshot
Incorporating Time Delays into the Logical Analysis of Gene Regulatory Networks
inferred← citeshttps://doi.org/10.1007/11914853_19openalex-snapshot
Change Mining in Adaptive Process Management Systems
inferred← citeshttps://doi.org/10.1007/11914853_9openalex-snapshot
WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL
inferred← citeshttps://doi.org/10.1007/11963516_5openalex-snapshot
Synchrony and Asynchrony in Membrane Systems
inferred← citeshttps://doi.org/10.1007/978-0-387-09680-3_36openalex-snapshot
The Surprising Robustness of (Closed) Timed Automata against Clock-Drift
inferred← citeshttps://doi.org/10.1007/978-1-4614-4821-1_2openalex-snapshot
Aspects of Adaptive Systems Engineering: A Professional Printing Case
inferred← citeshttps://doi.org/10.1007/978-3-030-51831-8_4openalex-snapshot
On the High Complexity of Petri Nets $$\omega $$-Languages
inferred← citeshttps://doi.org/10.1007/978-3-030-87334-9_24openalex-snapshot
PNeS in Modelling, Control and Analysis of Concurrent Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-98012-2_41openalex-snapshot
Towards a Modelling Framework for Dynamically Reconfigurable Systems Using Maude (& Petri Nets)
inferred← citeshttps://doi.org/10.1007/978-3-031-36889-9_18openalex-snapshot
A Maude Formalization of Object Nets
inferred← citeshttps://doi.org/10.1007/978-3-031-97051-1_18openalex-snapshot
High-Level Petri Nets for Modeling Cyber-Physical Multi-Agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-032-16708-8_14openalex-snapshot
LLM-Assisted Conformance Checking for Medical Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-06410-9_25openalex-snapshot
A Symbolic Algorithm for the Analysis of Robust Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-319-06410-9_37openalex-snapshot
A Graph-Based Transformation Reduction to Reach UPPAAL States Faster
inferred← citeshttps://doi.org/10.1007/978-3-319-06505-2_12openalex-snapshot
From Business Process Models to Use Case Models: A Systematic Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-07734-5_6openalex-snapshot
Discovering Block-Structured Process Models from Incomplete Event Logs
inferred← citeshttps://doi.org/10.1007/978-3-319-08260-8_8openalex-snapshot
Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-10512-3_4openalex-snapshot
Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices
inferred← citeshttps://doi.org/10.1007/978-3-319-10512-3_8openalex-snapshot
Verification and Performance Evaluation of Timed Game Strategies
inferred← citeshttps://doi.org/10.1007/978-3-319-10557-4_3openalex-snapshot
Safety Verification of Multiple Autonomous Systems by Formal Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-10702-8_3openalex-snapshot
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System
inferred← citeshttps://doi.org/10.1007/978-3-319-10882-7_4openalex-snapshot
On Clock-Aware LTL Properties of Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-319-11737-9_14openalex-snapshot
Timed Automata Verification via IC3 with Zones
inferred← citeshttps://doi.org/10.1007/978-3-319-11854-3_30openalex-snapshot
Design and Implementation of a Context-Based Security Model
inferred← citeshttps://doi.org/10.1007/978-3-319-11936-6_28openalex-snapshot
Trace Abstraction Refinement for Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-319-15033-8_2openalex-snapshot
Simulation Optimization Approach to Solve a Complex Multi-objective Redundancy Allocation Problem
inferred← citeshttps://doi.org/10.1007/978-3-319-17404-4_5openalex-snapshot
An Over-Approximation Forward Analysis for Nested Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-319-17524-9_12openalex-snapshot
Reachability Analysis Using Extremal Rates
inferred← citeshttps://doi.org/10.1007/978-3-319-21145-9_7openalex-snapshot
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs
inferred← citeshttps://doi.org/10.1007/978-3-319-27198-9_1openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1007/978-3-319-27198-9_5openalex-snapshot
Analyzing Non-preemptive Global Scheduling
inferred← citeshttps://doi.org/10.1007/978-3-319-27198-9_7openalex-snapshot
Parametric Utilization Bounds
inferred← citeshttps://doi.org/10.1007/978-3-319-27198-9_9openalex-snapshot
Finitary Real-Time Calculus
inferred← citeshttps://doi.org/10.1007/978-3-540-27793-4_1openalex-snapshot
Positive Non-interference in Elementary and Trace Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-27863-4_16openalex-snapshot
A Guide to Modelling and Control with Modules of Signal Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-30233-9_1openalex-snapshot
Formal Analysis of the Internet Open Trading Protocol
inferred← citeshttps://doi.org/10.1007/978-3-540-31847-7_18openalex-snapshot
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
inferred← citeshttps://doi.org/10.1007/978-3-540-68413-8_1openalex-snapshot
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-68644-6_3openalex-snapshot
Subsuming the BPM Life Cycle in an Ontological Framework of Designing
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_31openalex-snapshot
Models of Computation: A Tribute to Ugo Montanari’s Vision
inferred← citeshttps://doi.org/10.1007/978-3-540-68746-7_12openalex-snapshot
Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-68746-7_15openalex-snapshot
Parametric Language Analysis of the Class of Stop-and-Wait Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-68855-6_11openalex-snapshot
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-70952-7_15openalex-snapshot
A Finite State Modeling of AFDX Frame Management Using Spin
inferred← citeshttps://doi.org/10.1007/978-3-540-71289-3_29openalex-snapshot
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-72590-9_95openalex-snapshot
Fuzzy-Timing Petri Nets with Choice Probabilities for Response Time Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-73210-5_9openalex-snapshot
Probabilistic Timed Behavior Trees
inferred← citeshttps://doi.org/10.1007/978-3-540-74407-8_13openalex-snapshot
Checking Coverage for Infinite Collections of Timed Scenarios
inferred← citeshttps://doi.org/10.1007/978-3-540-74407-8_25openalex-snapshot
Coalgebraic Models for Reactive Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-74827-4_98openalex-snapshot
Message Flow: Design and Architecture of a Message Flow Management System
inferred← citeshttps://doi.org/10.1007/978-3-540-74984-4_14openalex-snapshot
Formal Verification of Use Case Maps with Real Time Extensions
inferred← citeshttps://doi.org/10.1007/978-3-540-78127-1_25openalex-snapshot
Nested Petri Nets for Adaptive Process Modeling
inferred← citeshttps://doi.org/10.1007/978-3-540-78238-4_24openalex-snapshot
Towards Analysis of Flexible and Collaborative Workflow Using Recursive ECATNets
inferred← citeshttps://doi.org/10.1007/978-3-540-78238-4_37openalex-snapshot
Adaptive Workflows for Healthcare Information Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-78499-9_28openalex-snapshot
Symbolic Semantics Revisited
inferred← citeshttps://doi.org/10.1007/978-3-540-78499-9_32openalex-snapshot
Products of Message Sequence Charts
inferred← citeshttps://doi.org/10.1007/978-3-540-85778-5_3openalex-snapshot
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_34openalex-snapshot
Workshop on Petri Nets and Graph Transformations
inferred← citeshttps://doi.org/10.1007/978-3-540-88479-8_19openalex-snapshot
A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-88710-2_3openalex-snapshot
Challenges in Business Process Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-89287-8_10openalex-snapshot
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
inferred← citeshttps://doi.org/10.1007/978-3-540-89287-8_2openalex-snapshot
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-89287-8_3openalex-snapshot
Teaching Concurrency Concepts to Freshmen
inferred← citeshttps://doi.org/10.1007/978-3-540-89287-8_7openalex-snapshot
Time Recursive Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-92188-2_10openalex-snapshot
Coordination: Reo, Nets, and Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-00199-4_1openalex-snapshot
Verification of Business Process Entailment Constraints Using SPIN
inferred← citeshttps://doi.org/10.1007/978-3-642-00328-8_18openalex-snapshot
Business to IT Transformations Revisited
inferred← citeshttps://doi.org/10.1007/978-3-642-00431-5_10openalex-snapshot
Relaxation Refinement: A New Method to Generate Heuristic Functions
inferred← citeshttps://doi.org/10.1007/978-3-642-00431-5_5openalex-snapshot
Survey on Directed Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-00596-1_20openalex-snapshot
Reactive Systems, Barbed Semantics, and the Mobile Ambients
inferred← citeshttps://doi.org/10.1007/978-3-642-00899-3_9openalex-snapshot
Does My Service Have Partners?
inferred← citeshttps://doi.org/10.1007/978-3-642-00945-7_8openalex-snapshot
Type Systems for Bigraphs
inferred← citeshttps://doi.org/10.1007/978-3-642-01112-2_53openalex-snapshot
Model Checking by Generating Observers from an Interface Specification Between Components
inferred← citeshttps://doi.org/10.1007/978-3-642-01364-5_2openalex-snapshot
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets
inferred← citeshttps://doi.org/10.1007/978-3-642-01465-9_14openalex-snapshot
Petri Net Security Checker: Structural Non-interference at Work
inferred← citeshttps://doi.org/10.1007/978-3-642-02138-1_6openalex-snapshot
Recursive Parametric Automata and ε-Removal
inferred← citeshttps://doi.org/10.1007/978-3-642-02351-4_7openalex-snapshot
Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines
inferred← citeshttps://doi.org/10.1007/978-3-642-02424-5_15openalex-snapshot
Hornets: Nets within Nets Combined with Net Algebra
inferred← citeshttps://doi.org/10.1007/978-3-642-02949-3_10openalex-snapshot
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
inferred← citeshttps://doi.org/10.1007/978-3-642-03190-8_8openalex-snapshot
CPN-Based State Analysis and Prediction for Multi-agent Scheduling and Planning
inferred← citeshttps://doi.org/10.1007/978-3-642-03424-4_1openalex-snapshot
Using Process Mining to Generate Accurate and Interactive Business Process Maps
inferred← citeshttps://doi.org/10.1007/978-3-642-03973-7_2openalex-snapshot
Versions to Address Business Process Flexibility Issue
inferred← citeshttps://doi.org/10.1007/978-3-642-04081-8_8openalex-snapshot
Encoding Asynchronous Interactions Using Open Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-04368-0_18openalex-snapshot
Checking Timed Büchi Automata Emptiness Using LU-Abstractions
inferred← citeshttps://doi.org/10.1007/978-3-642-04368-0_21openalex-snapshot
Exploiting Timed Automata for Conformance Testing of Power Measurements
inferred← citeshttps://doi.org/10.1007/978-3-642-04368-0_8openalex-snapshot
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
inferred← citeshttps://doi.org/10.1007/978-3-642-04856-2_4openalex-snapshot
Parameterised Coloured Petri Net Channel Models
inferred← citeshttps://doi.org/10.1007/978-3-642-04856-2_6openalex-snapshot
Modelling Mobile IP with Mobile Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-05089-3_43openalex-snapshot
Verifying Real-Time Systems against Scenario-Based Requirements
inferred← citeshttps://doi.org/10.1007/978-3-642-10373-5_30openalex-snapshot
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction
inferred← citeshttps://doi.org/10.1007/978-3-642-11623-0_2openalex-snapshot
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-12814-1_22openalex-snapshot
A Model Driven Engineering Approach for Modelling Versions of Business Processes using BPMN
inferred← citeshttps://doi.org/10.1007/978-3-642-13089-2_4openalex-snapshot
Analysis of Communicating Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-13675-7_3openalex-snapshot
Petri Nets with Localities and Testing
inferred← citeshttps://doi.org/10.1007/978-3-642-15020-3_1openalex-snapshot
e-BioFlow: Improving Practical Use of Workflow Systems in Bioinformatics
inferred← citeshttps://doi.org/10.1007/978-3-642-15375-4_38openalex-snapshot
Representations of Petri Net Interactions
inferred← citeshttps://doi.org/10.1007/978-3-642-16558-0_45openalex-snapshot
Analysing Message Sequence Graph Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-18222-8_8openalex-snapshot
Modeling Organizational Units as Modular Components of Systems of Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-19589-1_5openalex-snapshot
On Lifecycle Constraints of Artifact-Centric Workflows
inferred← citeshttps://doi.org/10.1007/978-3-642-20398-5_37openalex-snapshot
opaal: A Lattice Model Checker
inferred← citeshttps://doi.org/10.1007/978-3-642-20633-7_30openalex-snapshot
Analyzing Web Service Choreography Specifications Using Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-21268-0_2openalex-snapshot
Generating Executable Multi-agent System Prototypes from SONAR Specifications
inferred← citeshttps://doi.org/10.1007/978-3-642-21271-0_15openalex-snapshot
Alvis – Modelling Language for Concurrent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-23082-0_5openalex-snapshot
On Intransitive Non-interference in Some Models of Concurrency
inferred← citeshttps://doi.org/10.1007/978-3-642-23851-2_20openalex-snapshot
Snapshot Reachability Graphs for Alvis Models
inferred← citeshttps://doi.org/10.1007/978-3-642-24310-3_14openalex-snapshot
Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-24372-1_9openalex-snapshot
An Alternative Definition for Timed Automata Composition
inferred← citeshttps://doi.org/10.1007/978-3-642-27269-1_17openalex-snapshot
Performance Verification in Complex Enterprise-Level Component Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-28869-2_10openalex-snapshot
Multiparty Session Types Meet Communicating Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-29822-6_11openalex-snapshot
A General Implementation Framework for Tabled CLP
inferred← citeshttps://doi.org/10.1007/978-3-642-30829-1_12openalex-snapshot
Real-Time Coordination Patterns for Advanced Mechatronic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-31424-7_33openalex-snapshot
On Decidability of Prebisimulation for Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-31965-5_11openalex-snapshot
Research of Automatic Conversion from UML Sequence Diagram to CPN Based on Modular Conversion
inferred← citeshttps://doi.org/10.1007/978-3-642-32940-1_12openalex-snapshot
A Comparison of Succinctly Represented Finite-State Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-34384-1_57openalex-snapshot
Safety Analysis of Computer-Controlled Real-Time Systems with Message Loss Using Communicating DEVS Models
inferred← citeshttps://doi.org/10.1007/978-3-642-35179-2_10openalex-snapshot
An Initial Coloured Petri Net Model of the Hypertext Transfer Protocol Operating over the Transmission Control Protocol
inferred← citeshttps://doi.org/10.1007/978-3-642-35179-2_2openalex-snapshot
Distributed Control of Discrete-Event Systems: A First Step
inferred← citeshttps://doi.org/10.1007/978-3-642-35179-2_7openalex-snapshot
Verifying Parallel Algorithms and Programs Using Coloured Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-35395-6_11openalex-snapshot
Modeling a Risk Detection System for Elderly’s Home-Care with a Network of Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-35524-0_5openalex-snapshot
Minimal Reaction Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-35795-4_62openalex-snapshot
MDE-Based Verification of SysML State Machine Diagram by UPPAAL
inferred← citeshttps://doi.org/10.1007/978-3-642-35864-7_10openalex-snapshot
Real-Time Model Checking for Regulatory Compliance
inferred← citeshttps://doi.org/10.1007/978-3-642-36249-1_5openalex-snapshot
Timed Hazard Analysis of Self-healing Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-37395-4_3openalex-snapshot
Towards Agile Verification
inferred← citeshttps://doi.org/10.1007/978-3-642-37798-3_30openalex-snapshot
Relationship between Petri Nets and Cellular Automata for the Analysis of Flexible Manufacturing Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-38143-0_2openalex-snapshot
Strategies for Modeling Complex Processes Using Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-38143-0_3openalex-snapshot
Applications of Coloured Petri Nets for Functional Validation of Protocol Designs
inferred← citeshttps://doi.org/10.1007/978-3-642-38143-0_4openalex-snapshot
Business Process Modeling Using Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-38143-0_9openalex-snapshot
Models from Scenarios
inferred← citeshttps://doi.org/10.1007/978-3-642-38911-5_6openalex-snapshot
Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models
inferred← citeshttps://doi.org/10.1007/978-3-642-39718-9_25openalex-snapshot
Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration
inferred← citeshttps://doi.org/10.1007/978-3-642-39721-9_2openalex-snapshot
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-40090-2_10openalex-snapshot
Formal Study of Reconfigurable Manufacturing Systems: A High Level Petri Nets Based Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-40229-6_14openalex-snapshot
Detecting Quasi-equal Clocks in Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-40355-2_15openalex-snapshot
Beautiful Workflows: A Matter of Taste?
inferred← citeshttps://doi.org/10.1007/978-3-642-40725-3_16openalex-snapshot
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker
inferred← citeshttps://doi.org/10.1007/978-3-642-41071-0_16openalex-snapshot
Generating Protocol Software from CPN Models Annotated with Pragmatics
inferred← citeshttps://doi.org/10.1007/978-3-642-41218-9_21openalex-snapshot
Matrix Representation of Parameterised Fuzzy Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-45435-6_3openalex-snapshot
Development of Self-optimizing Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-45435-6_5openalex-snapshot
Methods for the Design and Development
inferred← citeshttps://doi.org/10.1007/978-3-642-54862-8_20openalex-snapshot
Quasi-Equal Clock Reduction: More Networks, More Queries
inferred← citeshttps://doi.org/10.1007/978-3-662-44584-6_3openalex-snapshot
Deterministic Negotiations: Concurrency for Free
inferred← citeshttps://doi.org/10.1007/978-3-662-45231-8_6openalex-snapshot
Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions
inferred← citeshttps://doi.org/10.1007/978-3-662-45391-9_10openalex-snapshot
Conformance for DecSerFlow Constraints
inferred← citeshttps://doi.org/10.1007/978-3-662-45563-0_12openalex-snapshot
CFS: A Behavioral Similarity Algorithm for Process Models Based on Complete Firing Sequences
inferred← citeshttps://doi.org/10.1007/978-3-662-45730-6_3openalex-snapshot
Software Engineering with Petri Nets: A Web Service and Agent Perspective
inferred← citeshttps://doi.org/10.1007/978-3-662-45730-6_8openalex-snapshot
A Coloured Petri Net Approach to the Functional and Performance Analysis of SIP Non-INVITE Transaction
inferred← citeshttps://doi.org/10.1007/978-3-662-60651-3_5openalex-snapshot
Formal Modelling and Incremental Verification of the MQTT IoT Protocol
inferred← citeshttps://doi.org/10.1007/978-4-431-54436-4_1openalex-snapshot
On Generating Soft Real-Time Programs for Non-Real-Time Environments
inferred← citeshttps://doi.org/10.1007/978-90-481-8641-9_14openalex-snapshot
Development of a Web-Based Information-Computational Infrastructure for the Siberia Integrated Regional Study
inferred← citeshttps://doi.org/10.1007/978-981-287-251-7_29openalex-snapshot
Real-Time Task Models
inferred← citeshttps://doi.org/10.1007/978-981-4585-87-3_29-1openalex-snapshot
Real-Time Task Models
inferred← citeshttps://doi.org/10.1007/bf03345924openalex-snapshot
Enterprise Modelling and Information Systems Architectures
inferred← citeshttps://doi.org/10.1007/s00236-014-0209-7openalex-snapshot
Synthesis and reengineering of persistent systems
inferred← citeshttps://doi.org/10.1007/s00766-005-0001-xopenalex-snapshot
Business alignment: using process mining as a tool for Delta analysis and conformance testing
inferred← citeshttps://doi.org/10.1007/s10009-007-0038-xopenalex-snapshot
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
inferred← citeshttps://doi.org/10.1007/s10009-007-0055-9openalex-snapshot
Protos2CPN: using colored Petri nets for configuring and testing business processes
inferred← citeshttps://doi.org/10.1007/s10009-014-0346-xopenalex-snapshot
Downward pattern refinement for timed automata
inferred← citeshttps://doi.org/10.1007/s10270-008-0088-xopenalex-snapshot
Model-driven analysis and synthesis of textual concrete syntax
inferred← citeshttps://doi.org/10.1007/s10270-008-0106-zopenalex-snapshot
Process mining: a two-step approach to balance between underfitting and overfitting
inferred← citeshttps://doi.org/10.1007/s10458-016-9344-6openalex-snapshot
Interacting with team oriented plans in multi-robot systems
inferred← citeshttps://doi.org/10.1007/s10617-010-9055-1openalex-snapshot
Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems
inferred← citeshttps://doi.org/10.1007/s10618-007-0065-yopenalex-snapshot
Mining process models with non-free-choice constructs
inferred← citeshttps://doi.org/10.1007/s11047-008-9101-0openalex-snapshot
A Petri net model for membrane systems with dynamic structure
inferred← citeshttps://doi.org/10.1007/s11432-017-9283-7openalex-snapshot
Modeling and analysis of colored petri net based on the semi-tensor product of matrices
inferred← citeshttps://doi.org/10.1007/s44311-026-00046-8openalex-snapshot
A discovery technique for expressive yet sound process models
inferred← citeshttps://doi.org/10.1016/j.anucene.2021.108218openalex-snapshot
An efficient Dijkstra’s semaphore based k -out-of- n Petri net voting model: An application to shutdown actuation system reliability
inferred← citeshttps://doi.org/10.1016/j.arcontrol.2013.09.001openalex-snapshot
Half a century after Carl Adam Petri’s Ph.D. thesis: A perspective on the field
inferred← citeshttps://doi.org/10.1016/j.automatica.2023.110911openalex-snapshot
Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
inferred← citeshttps://doi.org/10.1016/j.cie.2007.05.002openalex-snapshot
The Join/Leave/Remain (JLR) decision in collaborative networked organizations
inferred← citeshttps://doi.org/10.1016/j.csi.2011.05.007openalex-snapshot
Payment frameworks for the purchase of electronic products and services
inferred← citeshttps://doi.org/10.1016/j.disc.2021.112455openalex-snapshot
A spectral property for concurrent systems and some probabilistic applications
inferred← citeshttps://doi.org/10.1016/j.engappai.2019.02.019openalex-snapshot
A new hierarchical approach to requirement analysis of problems in automated planning
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.02.005openalex-snapshot
The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.02.008openalex-snapshot
A Congruence for Petri Nets
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.07.013openalex-snapshot
Timers for Distributed Systems
showing the first 200 of 274 · page through all 274
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.