On the public citation graph

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

https://doi.org/10.1007/b95112
0 signed · 681 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.2139/ssrn.4511909openalex-extracted
Use the Risk Propagation Chain (Rpc) to Graphical Model the Risk Propagation Process in the Urban Rail Transit System
inferred← citeshttps://doi.org/10.3217/jucs-018-17-2383openalex-extracted
Behavior Alignment and Control Flow Verification of Process and Service Choreographies
inferred← citeshttps://doi.org/10.3217/jucs-020-09-1373openalex-extracted
Formal Study of Routing Protocols for Wireless Sensor Networks
inferred← citeshttps://doi.org/10.1002/9781118720103openalex-snapshot
Verification of Communication Protocols in Web Services
inferred← citeshttps://doi.org/10.1002/cpe.3452openalex-snapshot
Petri nets‐based model for the analysis of NORIA protocol
inferred← citeshttps://doi.org/10.1002/inst.12008openalex-snapshot
On Evaluating Resilience in C3 Systems
inferred← citeshttps://doi.org/10.1002/j.2334-5837.2016.00179.xopenalex-snapshot
Testing of Autonomous Systems – Challenges and Current State‐of‐the‐Art
inferred← citeshttps://doi.org/10.1002/smr.1898openalex-snapshot
Automated conflict detection between medical care pathways
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-00847-5_17openalex-snapshot
A Holistic Approach for Soundness Verification of Decision-Aware Process Models
inferred← citeshttps://doi.org/10.1007/978-3-030-01632-6_8openalex-snapshot
A Generalized Net Model for the Coordination and Synchronization of Human and Computer-Based Expert Type Decision Support Activities
inferred← citeshttps://doi.org/10.1007/978-3-030-02146-7_8openalex-snapshot
Using Coloured Petri Nets for Resource Analysis of Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-030-02610-3_31openalex-snapshot
Formal Modelling and Verification of Cloud Resource Allocation in Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-030-11641-5_39openalex-snapshot
Compliance Checking for Decision-Aware Process Models
inferred← citeshttps://doi.org/10.1007/978-3-030-19807-7_28openalex-snapshot
Performance Analysis of Weighted Priority Queuing Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-20485-3_25openalex-snapshot
Subject-Orientation as a Means for Business Information System Design – A Theoretical Analysis and Summary
inferred← citeshttps://doi.org/10.1007/978-3-030-20521-8_60openalex-snapshot
An Intelligent System Integrating CEP and Colored Petri Nets for Helping in Decision Making About Pollution Scenarios
inferred← citeshttps://doi.org/10.1007/978-3-030-21500-2_15openalex-snapshot
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
inferred← citeshttps://doi.org/10.1007/978-3-030-21571-2_24openalex-snapshot
From DB-nets to Coloured Petri Nets with Priorities
inferred← citeshttps://doi.org/10.1007/978-3-030-21990-1_11openalex-snapshot
Interdomain Quality of Service Negotiation Using DEA Analysis and Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-030-28346-9_6openalex-snapshot
Functional Languages in Design of Coloured Petri Nets Models
inferred← citeshttps://doi.org/10.1007/978-3-030-30143-9_12openalex-snapshot
Modeling and Formal Verification of the Ticket-Based Handoff Authentication Protocol for Wireless Mesh Networks
inferred← citeshttps://doi.org/10.1007/978-3-030-31517-7_13openalex-snapshot
Taming Hierarchical Connectors
inferred← citeshttps://doi.org/10.1007/978-3-030-37873-8_9openalex-snapshot
A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-38961-1_52openalex-snapshot
Concurrent Software Fine-Coarse-Grained Automatic Modeling Method for Algorithm Error Detection
inferred← citeshttps://doi.org/10.1007/978-3-030-44184-5_135openalex-snapshot
Markov Chains and Ranking Problems in Web Search
inferred← citeshttps://doi.org/10.1007/978-3-030-53337-3_15openalex-snapshot
Correlating Data Objects in Fragment-Based Case Management
inferred← citeshttps://doi.org/10.1007/978-3-030-55754-6_22openalex-snapshot
hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions
inferred← citeshttps://doi.org/10.1007/978-3-030-58167-1_6openalex-snapshot
A Model Based Slicing Technique for Process Mining Healthcare Information
inferred← citeshttps://doi.org/10.1007/978-3-030-58638-6_1openalex-snapshot
Cross-Case Data Objects in Business Processes: Semantics and Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-62522-1_6openalex-snapshot
Semi-automated Time-Granularity Detection for Data-Driven Simulation Using Process Mining and System Dynamics
inferred← citeshttps://doi.org/10.1007/978-3-030-66077-2_21openalex-snapshot
Configuring Systems Based on Petri Nets, Logic-Probabilistic, and Simulation Models
inferred← citeshttps://doi.org/10.1007/978-3-030-67220-1_2openalex-snapshot
Modeling and Verification of Temporal Constraints for Web Service Composition
inferred← citeshttps://doi.org/10.1007/978-3-030-69418-0_13openalex-snapshot
A Colored Petri Net to Model Message Differences in Energy Harvesting WSNs
inferred← citeshttps://doi.org/10.1007/978-3-030-71472-7_6openalex-snapshot
On DB-Nets and Their Applications
inferred← citeshttps://doi.org/10.1007/978-3-030-72610-2_33openalex-snapshot
Checking Conformance Between Colored Petri Nets and Event Logs
inferred← citeshttps://doi.org/10.1007/978-3-030-72610-2_34openalex-snapshot
Data and Reference Semantic-Based Simulator of DB-Nets with the Use of Renew Tool
inferred← citeshttps://doi.org/10.1007/978-3-030-76352-7_7openalex-snapshot
Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach
inferred← citeshttps://doi.org/10.1007/978-3-030-76787-7_9openalex-snapshot
Bipartite Graphs—Petri Nets in Biology Modeling
inferred← citeshttps://doi.org/10.1007/978-3-030-76983-3_10openalex-snapshot
Skeleton Abstraction for Universal Temporal Properties
inferred← citeshttps://doi.org/10.1007/978-3-030-89716-1_5openalex-snapshot
Improvements in Unfolding of Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-030-91431-8_8openalex-snapshot
Model Checking of Solidity Smart Contracts Adopted for Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-030-95116-0_13openalex-snapshot
The Models for Predictive Maintenance of Robotic Agricultural Vehicles
inferred← citeshttps://doi.org/10.1007/978-3-031-67685-7_8openalex-snapshot
Simulation of Agricultural Unmanned Vehicle System During a Virtual Commissioning
inferred← citeshttps://doi.org/10.1007/978-3-319-00948-3_13openalex-snapshot
Activity Diagrams Patterns for Modeling Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-03191-0_1openalex-snapshot
Infobiotics Workbench: A P Systems Based Tool for Systems and Synthetic Biology
inferred← citeshttps://doi.org/10.1007/978-3-319-04702-7_18openalex-snapshot
Fuzzy Logic Based Network Bandwidth Allocation: Decision Making, Simulation and Analysis
inferred← citeshttps://doi.org/10.1007/978-3-319-04735-5_6openalex-snapshot
An Extended Contract Net Protocol with Direct Negotiation of Managers
inferred← citeshttps://doi.org/10.1007/978-3-319-05032-4_12openalex-snapshot
PetriCode: A Tool for Template-Based Code Generation from CPN Models
inferred← citeshttps://doi.org/10.1007/978-3-319-06859-6_11openalex-snapshot
Discovering Pattern-Based Mediator Services from Communication Logs
inferred← citeshttps://doi.org/10.1007/978-3-319-07593-8_17openalex-snapshot
Service-Oriented Architectures: From Design to Production Exploiting Workflow Patterns
inferred← citeshttps://doi.org/10.1007/978-3-319-07734-5_22openalex-snapshot
Kaira: Development Environment for MPI Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-08156-4_36openalex-snapshot
Formalization of Software Process Using Intuitive Mapping of UML Activity Diagram to CPN
inferred← citeshttps://doi.org/10.1007/978-3-319-11200-8_45openalex-snapshot
Have You Found the Error? A Formal Framework for Learning Game Verification
inferred← citeshttps://doi.org/10.1007/978-3-319-11680-8_27openalex-snapshot
Modelling Timed Concurrent Systems Using Activity Diagram Patterns
inferred← citeshttps://doi.org/10.1007/978-3-319-13461-1_46openalex-snapshot
Solutions for Time Estimation of Tactile 3D Models Creation Process
inferred← citeshttps://doi.org/10.1007/978-3-319-13572-4_6openalex-snapshot
Addition of Static Aspects to the Intuitive Mapping of UML Activity Diagram to CPN
inferred← citeshttps://doi.org/10.1007/978-3-319-15201-1_26openalex-snapshot
A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF
inferred← citeshttps://doi.org/10.1007/978-3-319-15317-9_21openalex-snapshot
Place-Liveness of ComSA Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-15895-2_7openalex-snapshot
Conformance Checking Based on Partially Ordered Event Data
inferred← citeshttps://doi.org/10.1007/978-3-319-15898-3_1openalex-snapshot
Integrated Reconfiguration of Multi-Satellite Network Communication Using Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-16071-9openalex-snapshot
Process Mining in Healthcare: Evaluating and Exploiting Operational Healthcare Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-19458-5_6openalex-snapshot
Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources
inferred← citeshttps://doi.org/10.1007/978-3-319-20376-8_54openalex-snapshot
Risk Modeling and Analysis of Interdependencies of Critical Infrastructures Using Colored Timed Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-21915-8_11openalex-snapshot
Change Point Detection and Dealing with Gradual and Multi-order Dynamics in Process Mining
inferred← citeshttps://doi.org/10.1007/978-3-319-22852-5_42openalex-snapshot
Model for Performance Analysis of Distributed Stream Processing Applications
inferred← citeshttps://doi.org/10.1007/978-3-319-28161-2_6openalex-snapshot
Utilization of Parallel Computing for Discrete Self-organizing Migration Algorithm
inferred← citeshttps://doi.org/10.1007/978-3-319-29473-5_11openalex-snapshot
Test Case Generation from Natural Language Requirements Using CPN Simulation
inferred← citeshttps://doi.org/10.1007/978-3-319-29504-6_5openalex-snapshot
Software Process Resource Utilization Simulation Using CPN
inferred← citeshttps://doi.org/10.1007/978-3-319-29817-7_9openalex-snapshot
Performance Analysis of Distributed Stream Processing Applications Through Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-39086-4_19openalex-snapshot
Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-40030-3_43openalex-snapshot
Designing a Support System to Mitigate Pilot Error While Minimizing Out-of-the-Loop-Effects
inferred← citeshttps://doi.org/10.1007/978-3-319-44615-8_27openalex-snapshot
Modelling of Systems Using a Time-Triggered Ethernet
inferred← citeshttps://doi.org/10.1007/978-3-319-44878-7_1openalex-snapshot
Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency
inferred← citeshttps://doi.org/10.1007/978-3-319-45943-1_15openalex-snapshot
Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System
inferred← citeshttps://doi.org/10.1007/978-3-319-47166-2_65openalex-snapshot
A Privacy-Aware Conceptual Model for Handling Personal Data
inferred← citeshttps://doi.org/10.1007/978-3-319-48746-5_26openalex-snapshot
Process Support for Continuous, Distributed, Multi-party Healthcare Processes - Applying Workflow Modelling to an Anticoagulation Monitoring Protocol
inferred← citeshttps://doi.org/10.1007/978-3-319-53321-6_3openalex-snapshot
Modeling Discrete Event Systems Using Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-53321-6_4openalex-snapshot
The Coupling of Coloured Petri Nets with SIMIO
inferred← citeshttps://doi.org/10.1007/978-3-319-53946-1_1openalex-snapshot
Specification and Verification of Synchronization with Condition Variables
inferred← citeshttps://doi.org/10.1007/978-3-319-57861-3_18openalex-snapshot
Synthesis and Analysis of Process Networks by Joint Application of P-graphs and Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-57861-3_5openalex-snapshot
Evaluating and Improving SIP Non-INVITE Transaction to Alleviate the Losing Race Problem
inferred← citeshttps://doi.org/10.1007/978-3-319-59147-6_36openalex-snapshot
Intelligent Transportation System to Control Air Pollution in Cities Using Complex Event Processing and Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-59513-9_15openalex-snapshot
Simulation Model of Traffic in Smart Cities for Decision-Making Support: Case Study in Tudela (Navarre, Spain)
inferred← citeshttps://doi.org/10.1007/978-3-319-60837-2_17openalex-snapshot
Petri Nets over Ontological Graphs: Conception and Application for Modelling Tasks of Robots
inferred← citeshttps://doi.org/10.1007/978-3-319-65015-9_9openalex-snapshot
Events in Business Process Implementation: Early Subscription and Event Buffering
inferred← citeshttps://doi.org/10.1007/978-3-319-65208-5_12openalex-snapshot
Modelling and Verification of Real-Time Systems with Alvis
inferred← citeshttps://doi.org/10.1007/978-3-319-67295-3_6openalex-snapshot
Automated Pipeline Transformations with Fluid Pipelines
inferred← citeshttps://doi.org/10.1007/978-3-319-68972-2_6openalex-snapshot
Translating Active Objects into Colored Petri Nets for Communication Analysis
inferred← citeshttps://doi.org/10.1007/978-3-319-70581-1_38openalex-snapshot
Architecture and Models for System-Level Computer-Aided Design of the Management System of Energy Efficiency of Technological Processes at the Enterprise
inferred← citeshttps://doi.org/10.1007/978-3-319-75396-6_11openalex-snapshot
Overview of Reconfigurable Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-91268-4_24openalex-snapshot
GreatTeach: A Tool for Teaching (Stochastic) Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-92459-5_24openalex-snapshot
Consequences of the Form of Restrictions in Coloured Petri Net Models for Behaviour of Arrival Stream Generator Used in Performance Evaluation
inferred← citeshttps://doi.org/10.1007/978-3-319-92991-0_6openalex-snapshot
Graph-Rewriting Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-96154-5_8openalex-snapshot
Petri Nets Are (Not Only) Distributed Automata
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-642-02424-5_18openalex-snapshot
ASAP: An Extensible Platform for State Space Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-04425-0_59openalex-snapshot
Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-04856-2_8openalex-snapshot
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection
inferred← citeshttps://doi.org/10.1007/978-3-642-12261-3_2openalex-snapshot
Catch Me If You Can – Debugging Support for Model Transformations
inferred← citeshttps://doi.org/10.1007/978-3-642-13675-7_4openalex-snapshot
A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future
inferred← citeshttps://doi.org/10.1007/978-3-642-15898-8_14openalex-snapshot
Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept
inferred← citeshttps://doi.org/10.1007/978-3-642-16488-0_2openalex-snapshot
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-18222-8_2openalex-snapshot
Search-Order Independent State Caching
inferred← citeshttps://doi.org/10.1007/978-3-642-18222-8_7openalex-snapshot
On-the-Fly Auditing of Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-20754-9_14openalex-snapshot
Formal Modelling and Initial Validation of the Chelonia Distributed Storage System
inferred← citeshttps://doi.org/10.1007/978-3-642-21834-7_10openalex-snapshot
Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-22203-0_41openalex-snapshot
A Concurrent Coloured Petri Nets Model for Solving Binary Search Problem on a Multicore Architecture
inferred← citeshttps://doi.org/10.1007/978-3-642-22389-1_21openalex-snapshot
Bi-relational P/T Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-22389-1_22openalex-snapshot
Developing Parallel Applications Using Kaira
inferred← citeshttps://doi.org/10.1007/978-3-642-24198-7_8openalex-snapshot
Dynamic Simulation of Vehicle Routing Using Timed Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-24352-3_40openalex-snapshot
A User-Centered Approach for the Development of a Pervasive Mobile Tool for Health Care
inferred← citeshttps://doi.org/10.1007/978-3-642-24806-1_27openalex-snapshot
Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents
inferred← citeshttps://doi.org/10.1007/978-3-642-25318-8_24openalex-snapshot
Towards a Certified Petri Net Model-Checker
inferred← citeshttps://doi.org/10.1007/978-3-642-27549-4_25openalex-snapshot
People Transfer in City Transport Modeled via CPN
inferred← citeshttps://doi.org/10.1007/978-3-642-28038-2_8openalex-snapshot
HTCPNs–Based Modelling and Evaluation of Dynamic Computer Cluster Reconfiguration
inferred← citeshttps://doi.org/10.1007/978-3-642-28108-2_29openalex-snapshot
A Verification Method for Collaborative Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-29356-6_6openalex-snapshot
Agent System for Managing Distributed Mobile Interactive Documents in Knowledge-Based Organizations
inferred← citeshttps://doi.org/10.1007/978-3-642-30767-6_7openalex-snapshot
Design, Verification and Prototyping the Next Generation of Desktop Grid Middleware
inferred← citeshttps://doi.org/10.1007/978-3-642-31131-4_10openalex-snapshot
Data and Abstraction for Scenario-Based Modeling with Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-31131-4_17openalex-snapshot
An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-31131-4_3openalex-snapshot
Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods
inferred← citeshttps://doi.org/10.1007/978-3-642-32332-4_8openalex-snapshot
Asynchronous Abstract Machines: Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-33203-6_34openalex-snapshot
When Data, Knowledge and Processes Meet Together
inferred← citeshttps://doi.org/10.1007/978-3-642-33365-1_1openalex-snapshot
Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-33678-2_8openalex-snapshot
Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile
inferred← citeshttps://doi.org/10.1007/978-3-642-34059-8_17openalex-snapshot
Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach
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_11openalex-snapshot
Privacy Compliance Verification in Cryptographic Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-35179-2_3openalex-snapshot
Extending pnml Scope: A Framework to Combine Petri Nets Types
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-35179-2_9openalex-snapshot
Modelling and Formal Verification of the NEO Protocol
inferred← citeshttps://doi.org/10.1007/978-3-642-35702-2_10openalex-snapshot
A Transformation of Business Process Models into Software-Executable Models Using MDA
inferred← citeshttps://doi.org/10.1007/978-3-642-36285-9_18openalex-snapshot
Root Cause Analysis with Enriched Process Logs
inferred← citeshttps://doi.org/10.1007/978-3-642-36754-0_6openalex-snapshot
Mapping PASS Graphs to Petri-Nets: Possibilities and Limits for Converting PASS Graphs to Petri-Nets
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-38209-3_7openalex-snapshot
Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models
inferred← citeshttps://doi.org/10.1007/978-3-642-38209-3_8openalex-snapshot
Guidelines for Modelling Reactive Systems with Coloured Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-38697-8_13openalex-snapshot
Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology
inferred← citeshttps://doi.org/10.1007/978-3-642-38697-8_15openalex-snapshot
Net-Based Analysis of Event Processing Networks – The Fast Flower Delivery Case
inferred← citeshttps://doi.org/10.1007/978-3-642-38697-8_22openalex-snapshot
CPN Tools 4: Multi-formalism and Extensibility
inferred← citeshttps://doi.org/10.1007/978-3-642-38709-8_26openalex-snapshot
Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-40176-3_24openalex-snapshot
Mixing Paradigms for More Comprehensible Models
inferred← citeshttps://doi.org/10.1007/978-3-642-40213-5_15openalex-snapshot
Validating SCTP Simultaneous Open Procedure
inferred← citeshttps://doi.org/10.1007/978-3-642-40270-8_18openalex-snapshot
Research on Petri Net and IDEF1X Based Production Scheduling Modeling Method
inferred← citeshttps://doi.org/10.1007/978-3-642-40343-9_5openalex-snapshot
Executable Model-Based Risk Analysis Method for Identity Management Systems: Using Hierarchical Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-40465-8_10openalex-snapshot
Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching
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-55195-6_9openalex-snapshot
Prototyping Framework for Parallel Numerical Computations
inferred← citeshttps://doi.org/10.1007/978-3-658-04086-4_1openalex-snapshot
Methoden und Instrumente zur Messung und Verbesserung der Produktivität industrieller Dienstleistungen in KMU
inferred← citeshttps://doi.org/10.1007/978-3-662-45237-0_60openalex-snapshot
Malware Behavior Modeling with Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-662-45402-2_71openalex-snapshot
Formal Specification of Malware Models in the Form of Colored Petri Nets
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-48650-4_1openalex-snapshot
Verification of Logs - Revealing Faulty Processes of a Medical Laboratory
inferred← citeshttps://doi.org/10.1007/978-3-662-49665-7_20openalex-snapshot
Reduction Rules for Colored Workflow Nets
inferred← citeshttps://doi.org/10.1007/978-3-662-53401-4_1openalex-snapshot
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
inferred← citeshttps://doi.org/10.1007/978-3-662-53401-4_4openalex-snapshot
Validating DCCP Simultaneous Feature Negotiation Procedure
inferred← citeshttps://doi.org/10.1007/978-3-662-55862-1_5openalex-snapshot
DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases
inferred← citeshttps://doi.org/10.1007/978-3-662-57932-9_4openalex-snapshot
A Comprehensive Approach for Designing Business-Intelligence Solutions with Multi-agent Systems in Distributed Environments
inferred← citeshttps://doi.org/10.1007/978-3-662-58381-4_7openalex-snapshot
GPU Computations and Memory Access Model Based on Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-662-62144-8_4openalex-snapshot
Multidimensionales Service Prototyping
inferred← citeshttps://doi.org/10.1007/978-981-15-5979-2_14openalex-snapshot
A Train Rescheduling System Using Timed Coloured Petri Nets
inferred← citeshttps://doi.org/10.1007/978-981-16-0666-3_58openalex-snapshot
Analyzing Multidimensional Communication Lattice with Combined Cut-Through and Store-and-Forward Switching Node
inferred← citeshttps://doi.org/10.1007/978-981-33-4687-1_25openalex-snapshot
Spatial Specification of Grid Structures by Petri Nets
inferred← citeshttps://doi.org/10.1007/s00165-016-0370-6openalex-snapshot
Model checking Petri nets with names using data-centric dynamic systems
inferred← citeshttps://doi.org/10.1007/s00165-016-0388-9openalex-snapshot
Formalising concurrent UML state machines using coloured Petri nets
inferred← citeshttps://doi.org/10.1007/s00170-012-3930-9openalex-snapshot
On a holonic adaptive plan-based architecture: planning scheme and holons’ life periods
inferred← citeshttps://doi.org/10.1007/s00170-014-6065-3openalex-snapshot
Anytime heuristic search for scheduling flexible manufacturing systems: a timed colored Petri net approach
inferred← citeshttps://doi.org/10.1007/s00236-018-0320-2openalex-snapshot
Equivalence checking of Petri net models of programs using static and dynamic cut-points
inferred← citeshttps://doi.org/10.1007/s00521-016-2622-zopenalex-snapshot
Simulation, modeling and analysis of master node election algorithm based on signal strength for VANETs through Colored Petri nets
inferred← citeshttps://doi.org/10.1007/s00521-018-3850-1openalex-snapshot
An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/s10009-015-0376-zopenalex-snapshot
Equivalence class verification of the contract net protocol-extension
inferred← citeshttps://doi.org/10.1007/s10009-018-0482-9openalex-snapshot
Modelling and simulating a Thai railway signalling system using Coloured Petri Nets
inferred← citeshttps://doi.org/10.1007/s10009-018-0488-3openalex-snapshot
Towards formal methods diversity in railways: an experience report with seven frameworks
inferred← citeshttps://doi.org/10.1007/s10010-021-00453-2openalex-snapshot
Availability analysis and maintainability optimization of an offshore wind farm using high-level Petri nets
inferred← citeshttps://doi.org/10.1007/s10115-017-1060-2openalex-snapshot
Event stream-based process discovery using abstract representations
inferred← citeshttps://doi.org/10.1007/s10207-014-0243-zopenalex-snapshot
Analysis of two authorization protocols using Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/s10270-016-0517-1openalex-snapshot
Scenario-based system design with colored Petri nets: an application to train control systems
inferred← citeshttps://doi.org/10.1007/s10270-017-0616-7openalex-snapshot
Formal modeling of biomedical signal acquisition systems: source of evidence for certification
inferred← citeshttps://doi.org/10.1007/s10270-019-00716-1openalex-snapshot
Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets
inferred← citeshttps://doi.org/10.1007/s10270-020-00817-2openalex-snapshot
Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/s10270-020-00830-5openalex-snapshot
Graphical composite modeling and simulation for multi-aircraft collision avoidance
inferred← citeshttps://doi.org/10.1007/s10270-021-00866-1openalex-snapshot
Handling causality and schedulability when designing and prototyping cyber-physical systems
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/s10462-015-9451-9openalex-snapshot
Fuzzy Petri nets and industrial applications: a review
inferred← citeshttps://doi.org/10.1007/s10559-011-9303-9openalex-snapshot
Modelling multiagent systems with the help of generalized nets of active resources
inferred← citeshttps://doi.org/10.1007/s10559-015-9714-0openalex-snapshot
Verifying UCM Specifications of Distributed Systems Using Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/s10559-018-0066-4openalex-snapshot
Automating the Conversion of Colored Petri Nets with Qualitative Tokens Into Colored Petri Nets with Quantitative Tokens
inferred← citeshttps://doi.org/10.1007/s10586-016-0582-9openalex-snapshot
Security of grid structures under disguised traffic attacks
inferred← citeshttps://doi.org/10.1007/s10617-016-9173-5openalex-snapshot
Verification of fixed-point digital controllers using direct and delta forms realizations
inferred← citeshttps://doi.org/10.1007/s10626-011-0116-9openalex-snapshot
On fluidization of discrete event models: observation and control of continuous Petri nets
inferred← citeshttps://doi.org/10.1007/s10696-017-9283-9openalex-snapshot
Modular Petri net modeling of healthcare systems
inferred← citeshttps://doi.org/10.1007/s11227-011-0553-0openalex-snapshot
Constructing formal rules to verify message communication in distributed systems
inferred← citeshttps://doi.org/10.1007/s11227-020-03353-4openalex-snapshot
A model-based strategy for quantifying the impact of availability on the energy flow of data centers
inferred← citeshttps://doi.org/10.1007/s11277-011-0456-7openalex-snapshot
A Smart Card Based Efficient and Secured Multi-Server Authentication Scheme
inferred← citeshttps://doi.org/10.1007/s11277-020-07121-8openalex-snapshot
Modeling and Performance Analysis of Cognitive Radio Networks Using Stochastic Timed Colored Petri Nets
inferred← citeshttps://doi.org/10.1007/s11334-010-0131-2openalex-snapshot
Coloured Petri net refinement specification and correctness proof with Coq
inferred← citeshttps://doi.org/10.1007/s11416-016-0273-3openalex-snapshot
Semantics-aware detection of targeted attacks: a survey
showing the first 200 of 681 · page through all 681
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.