Statecharts: A visual formalism for complex systems
Science of Computer Programming
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
A petri net application to model metabolic processes
Systems Analysis Modelling Simulation
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Information Processing Letters
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Stubborn Sets for Standard Properties
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Formal Modeling of C. elegans Development: A Scenario-Based Approach
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
Modeling and querying biomolecular interaction networks
Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude
Electronic Notes in Theoretical Computer Science (ENTCS)
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
On Metric Temporal Łukasiewicz Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Quantitative Pathway Logic for Computational Biology
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
A Graphical User Interface for Maude-NPA
Electronic Notes in Theoretical Computer Science (ENTCS)
Analyzing pathways using SAT-based approaches
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Understanding signalling networks as collections of signal transduction pathways
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
How to implement a theory of correctness in the area of business processes and services
BPM'10 Proceedings of the 8th international conference on Business process management
Analysis on demand: Instantaneous soundness checking of industrial business process models
Data & Knowledge Engineering
| Hi-index | 0.00 |
This paper describes representations of biological processes based on Rewriting Logic and Petri net formalisms and mappings between these representations used in the Pathway Logic Assistant. The mappings are shown to preserve properties of interest. In addition a relevant subnet transformation is defined, that specializes a Petri net model to a specific query to reduce the number of transitions that must be considered when answering the query. The transformation is shown to preserve the query in the sense that no answers are lost.