The Petri Net Markup Language

No abstract is available for this paper.

• Publication year

  2003

• Venue

  Petri Net Technology for Communication-Based Systems

• Publication date

  Unknown publication date

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/978-3-540-40022-6_7
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• XML schema

  2003cited by this paper
• The Petri Net Kernel An infrastructure for building Petri net tools

  2001cited by this paper
• A Universal Module Concept for Petri Nets - an implementation-oriented approach

  2001cited by this paper
• Separation of Style and Content with XML in an Interchange Format for High-level Petri Nets

  2000cited by this paper
• A Signal Extension for Petri Nets and its Use in Controller Design

  2000cited by this paper

• MPAT: Modular Petri Net Assembly Toolkit

  2024cites this paper
• A Novel Approach to Process Discovery with Enhanced Loop Handling

  2024cites this paper
• Temporal Analysis of Influence of Resource Failures on Cyber-Physical Systems Based on Discrete Timed Petri Nets

  2021cites this paper
• A Petri Nets Evolution Method that Supports BPMN Model Changes

  2021cites this paper
• Control-Flow-Based Methods to Support the Development of Sound Workflows

  2021cites this paper
• Hybrid computational modeling methods for systems biology

  2021cites this paper
• Towards remote monitoring and reconfiguration of FPGA-based controllers using IOPT-Tools

  2020cites this paper
• Blockchain Technology for Industry 4.0

  2020cites this paper
• Integrated business process modeling and simulation – A case from the construction industry

  2020cites this paper
• From software architecture to analysis models and back: Model-driven refactoring aimed at availability improvement

  2020cites this paper
• Secure Smart Contract Generation Based on Petri Nets

  2020cites this paper
• Modeling a Manufacturing System by Using XML - Petri Nets Technology

  2020cites this paper
• Towards Extensible Structural Analysis of Petri Net Product Lines

  2019cites this paper
• Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

  2019cites this paper
• Obtaining Generic Petri Net Models of Railway Signaling Equipment

  2019cites this paper
• A new hierarchical approach to requirement analysis of problems in automated planning

  2019cites this paper
• An Integrated Approach for Modeling Ontology-Based Task Knowledge on an Incident Command System

  2019cites this paper
• Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models

  2018cites this paper
• Why We Need Static Analyses of Service Compositions Fault vs. Error Analysis of Soundness

  2018cites this paper
• CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools

  2018influential citation
• Goal compliance assurance for dynamically adaptive workflows

  2018cites this paper
• Dynamic configuration and collaborative scheduling in supply chains based on scalable multi-agent architecture

  2018cites this paper
• Une approche basée sur l'ingénierie dirigée par les modèles pour la vérification des descriptions AADL. (A model-driven engineering approach for verifying AADL descriptions)

  2018influential citation
• Workflow-Aware Security of Integrated Mobility Services

  2018cites this paper
• Securing Emergent IoT Applications

  2018cites this paper
• ANALYSING DYNAMIC FAULT TREES

  2018cites this paper
• Computer Security

  2018cites this paper
• Visual and Formal Modeling of Modularized and Executable User Interface Models

  2017cites this paper
• Application of model driven engineering in cloud computing: a systematic literature review

  2017cites this paper
• A methodology for verifying SysML requirements using activity diagrams

  2017cites this paper
• Reduction of Workflow Nets for Generalised Soundness Verification

  2017cites this paper
• The DS-Pnet modeling formalism for cyber-physical system development

  2017cites this paper
• Testing spnps perfect sampling tool on fork-join queueing networks (tool paper)

  2017cites this paper
• A Web-based Petri Nets Application To Teach Music Analysis and Composition

  2017cites this paper
• Formal Description of Adaptable Interactive Systems Based on Reconfigurable User Interface Models

  2017cites this paper
• Enhanced Architecture for Privacy Preserving Data Integration in a Medical Research Environment

  2017cites this paper
• A hybrid and scalable multi-agent approach for patient scheduling based on Petri net models

  2017influential citation
• A Framework for the Management of Safety-critical Human-and Data-centric Processes in Engineering Projects

  2016cites this paper
• Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets

  2016cites this paper
• Vers une approche de spécification et de génération d'interfaces sensibles au contexte : Application au domaine médical

  2016cites this paper
• Interoperability Plug-in between Petri Networks and SQL

  2016cites this paper
• Anno di discussione 2017 Algorithms for stationary analysis of stochastic Petri nets

  2016cites this paper
• A Maintainability Analysis of Dependability Evaluation of an Avionic System using AADL to PNML Transformation

  2016influential citation
• Geospatially Constrained Workflow Modeling and Implementation

  2016cites this paper
• A literature overview of knowledge sharing between Petri nets and ontologies

  2016cites this paper
• Bringing Balance to the Forces of Learning Design: Integrating Self-Regulated Planning and Scripting via Model Transformations

  2016cites this paper
• Vers une approche de spécification et de génération d'interfaces sensibles au contexte : Application au domaine médical. (Towards an approach for specication and generation of context-aware user interfaces: Application to medical field)

  2016cites this paper
• A Framework for Safety-Critical Process Management in Engineering Projects

  2015cites this paper
• Cloud SaaS using MDA approach on a multiview models generate a SaaS from a colored Petri Net using view PNML

  2015cites this paper
• eContractual choreography-language properties towards cross-organizational business collaboration

  2015cites this paper
• Towards the Formal Verification of SysML Specifications: Translation of Activity Diagrams into Modular Petri Nets

  2015influential citation
• Location-aware workflow scheduling in supply chains based on multi-agent systems

  2015cites this paper
• Wave4IOPT - editor e visualizador web de formas de onda – aplicação a controladores digitais especificados com modelos de Redes de Petri IOPT

  2015cites this paper
• Carassius: a simple process model editor

  2015cites this paper
• Scheduling Sustainable Supply Chains Based on Multi-agent Systems and Workflow Models

  2015cites this paper
• The Executable Invocation Policy of Web Services Composition With Petri Net

  2015cites this paper
• Microservice Based Tool Support for Business Process Modelling

  2015cites this paper
• Improving the process of process modelling by the use of domain process patterns

  2015cites this paper
• Validation and approval of PN ciphered subnets: security in PN sharing and storage using PNML, XMLSecurity and XMLSignature

  2015cites this paper
• A Simulation Modeling Method Based on Petri Net

  2015cites this paper
• Verhaltensanalyse zur Erkennung von Missbrauch mobiler Geldtransferdienste

  2014cites this paper
• SESSL

  2014cites this paper
• Software Agent Architecture for Managing Inter-Organizational Collaborations

  2014cites this paper
• Designing a Contractual Choreography Language for Automating Cross-organizational Business Collaboration

  2014cites this paper
• Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams

  2014influential citation
• Mobile Modeling Tool Based on the Horus Method

  2014cites this paper
• Management in

  2014influential citation
• A multiagent approach for managing collaborative workflows in supply chains

  2014cites this paper
• Workflows for e-Science, Scientific Workflows for Grids

  2014cites this paper
• Creation of Adaptive User Interfaces Through Reconfiguration of User Interface Models Using an Algorithmic Rule Generation Approach

  2014cites this paper
• Scheduling Patients in Hospitals Based on Multi-agent Systems

  2014cites this paper
• Towards Business Process Model Extension with Cost Perspective Based on Process Mining - Petri Net Model Case

  2014cites this paper
• Dual synthesis of Petri net based dependable logic controllers for safety critical systems

  2014cites this paper
• Small Spacecraft Software Modeling: A Petri Net-Based Approach

  2014cites this paper
• Project Scheduling Based on Multi-Agent Systems

  2014cites this paper
• Sicherheit 2014: Sicherheit, Schutz und Zuverlässigkeit, Beiträge der 7. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 19.-21. März 2014, Wien, Österreich

  2014cites this paper
• Monitoring Security Compliance of Critical Processes

  2014cites this paper
• Deployment of Service-Based Processes in the Cloud Using Petri Net Decomposition

  2014cites this paper
• Verifikation und Validierung von konfigurierten Bauprozessen durch Petrinetze

  2014cites this paper
• Development of context-aware workflow systems based on Petri Net Markup Language

  2014cites this paper
• Presenting a New Method for Converting Fuzzy Colored Petri Net (FCPN) to the Fuzzy Extended Markup Language (FXML)

  2014cites this paper
• A Methodology and Framework for Model-Driven Dependability Analysis of Critical Embedded Systems and Directions Towards Systems of Systems

  2013cites this paper
• A Problem Solver for Scheduling Workflows in Multi-agents Systems Based on Petri Nets

  2013cites this paper
• A simulation environment for scheduling workflows in multi-agent systems

  2013cites this paper
• Petri Net based Verification and Reconfiguration of BPMN Represented Configured Construction Processes

  2013influential citation
• Complex Digital System Design: A Methodology and Its Application to Medical Implants

  2013cites this paper
• Fraud Detection in Mobile Payments Utilizing Process Behavior Analysis

  2013cites this paper
• Petri net based Grid workflow verification and optimization

  2013cites this paper
• Comparing metabolic pathways through potential fluxes: a selective opening approach

  2013cites this paper
• Volume 988Editors:

  2013cites this paper
• An Overview of the mCRL2 Toolset and Its Recent Advances

  2013cites this paper
• Integration requirements of package units — A description approach with FDI

  2013influential citation
• A self-adaptation scheme for workflow management in multi-agent systems

  2013cites this paper
• An extended OOPN model and its specification based on PNML

  2013cites this paper
• Incremental model queries in model-driven design

  2013cites this paper
• Stochastic Modeling and Analysis Using QPME: Queueing Petri Net Modeling Environment v2.0

  2012cites this paper
• Adaptive Job Control in the Cognitive Factory

  2012cites this paper
• Context-aware workflow management for virtual enterprises based on coordination of agents

  2012cites this paper
• BSP Algorithms for LTL & CTL* Model Checking of Security Protocols. (Algorithmes BSP pour la vérification de modèles LTL et CTL* pour les protocoles de sécurité)

  2012cites this paper
• PetriPad A Collaborative Petri Net Editor

  2012cites this paper