On the public citation graph

Petri Net Transformations

https://doi.org/10.5772/5310
0 signed · 39 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 this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11494744_16openalex-snapshot
High-Level Nets with Nets and Rules as Tokens
inferredcites →https://doi.org/10.1007/3-540-31188-2openalex-snapshot
Fundamentals of Algebraic Graph Transformation
inferredcites →https://doi.org/10.1007/3-540-55676-1_19openalex-snapshot
Liveness and boundedness analysis for Petri nets with event graph modules
inferredcites →https://doi.org/10.1007/3-540-63139-9_48openalex-snapshot
Verification of workflow nets
inferredcites →https://doi.org/10.1007/978-3-540-40022-6_9openalex-snapshot
Rule-Based Refinement of Petri Nets: A Survey
inferredcites →https://doi.org/10.1007/978-3-540-47919-2_13openalex-snapshot
Transformations and Decompositions of Nets
inferredcites →https://doi.org/10.1007/978-3-540-73094-1_9openalex-snapshot
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems
inferredcites →https://doi.org/10.1007/bfb0016204openalex-snapshot
Checking properties of nets using transformations
inferredcites →https://doi.org/10.1016/0304-3975(91)90203-eopenalex-snapshot
Petri nets and algebraic specifications
inferredcites →https://doi.org/10.1016/0890-5401(90)90013-8openalex-snapshot
Petri nets are monoids
inferredcites →https://doi.org/10.1016/s1474-6670(17)38135-1openalex-snapshot
New Concepts for High-Level Petri Nets in the Application Domain of Train Control Systems
inferredcites →https://doi.org/10.1016/s1571-0661(04)80625-xopenalex-snapshot
Basic Ideas for Transformations of Specification Architectures1 1This work has been achieved during maternity leave and has been strongly supported by my family.
inferredcites →https://doi.org/10.1017/s0960129500000724openalex-snapshot
Algebraic high-level net transformation systems
inferredcites →https://doi.org/10.1017/s0960129500001353openalex-snapshot
Parallelism and concurrency in high-level replacement systems
inferredcites →https://doi.org/10.1023/a:1008695316594openalex-snapshot
Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems
inferredcites →https://doi.org/10.1142/3303openalex-snapshot
Handbook of Graph Grammars and Computing by Graph Transformation
inferredcites →https://doi.org/10.1142/4180openalex-snapshot
Handbook of Graph Grammars and Computing by Graph Transformation
inferredcites →https://doi.org/10.1142/4181openalex-snapshot
Handbook of Graph Grammars and Computing by Graph Transformation
inferredcites →https://doi.org/10.1142/9789812384720openalex-snapshot
Handbook of Graph Grammars and Computing by Graph Transformation
inferredcites →https://doi.org/10.1155/2006/704187openalex-snapshot
Applying Algebraic Approaches for Modeling Workflows and their Transformations in Mobile Networks
inferredcites →https://doi.org/10.14279/depositonce-1475openalex-snapshot
Formal Approach and Applications of Algebraic Higher-Order Nets

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-319-92997-2_6openalex-snapshot
Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation
inferred← citeshttps://doi.org/10.1007/978-3-319-99241-9_12openalex-snapshot
Automated Co-evolution of Metamodels and Transformation Rules: A Search-Based Approach
inferred← citeshttps://doi.org/10.1007/978-3-642-04216-4_26openalex-snapshot
Cooperative Model Reconstruction for Cryptographic Protocols Using Visual Languages
inferred← citeshttps://doi.org/10.1007/s10270-020-00805-6openalex-snapshot
A query-retyping approach to model transformation co-evolution
inferred← citeshttps://doi.org/10.1016/j.future.2010.05.001openalex-snapshot
Interface creation and redesign techniques in collaborative learning scenarios
inferred← citeshttps://doi.org/10.1016/j.jocs.2013.09.001openalex-snapshot
Sequence of decisions on discrete event systems modeled by Petri nets with structural alternative configurations
inferred← citeshttps://doi.org/10.1109/centric.2010.11openalex-snapshot
User-Centered Interface Reconfiguration for Error Reduction in Human-Computer Interaction
inferred← citeshttps://doi.org/10.1109/isscaa.2010.5632306openalex-snapshot
Study of self-excited noise and pressure oscillations in a hydraulic jet-pipe servo-valve with magnetic fluids
inferred← citeshttps://doi.org/10.1109/sccc.2010.17openalex-snapshot
Formal Modeling and Reconfiguration of User Interfaces
inferred← citeshttps://doi.org/10.1109/vlhcc.2009.5295303openalex-snapshot
Modeling multicasting in communication spaces by reconfigurable high-level Petri nets
inferred← citeshttps://doi.org/10.1142/s0219622012400172openalex-snapshot
COOPERATIVE RECONFIGURATION OF USER INTERFACE MODELS FOR LEARNING CRYPTOGRAPHIC PROTOCOLS
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.14.189.180openalex-snapshot
Implementing Petri Net Transformations using Graph Transformation Tools
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.30.426openalex-snapshot
Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.40.627openalex-snapshot
RONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.40.628openalex-snapshot
Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories
inferred← citeshttps://doi.org/10.14279/tuj.eceasst.51.758openalex-snapshot
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors
inferred← citeshttps://doi.org/10.4204/eptcs.93.1openalex-snapshot
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
inferred← citeshttps://doi.org/10.4204/eptcs.93.5openalex-snapshot
Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories
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.