On the public citation graph

Giving semantics to SA/RT by means of high-level timed Petri nets

https://doi.org/10.1007/bf01088591
0 signed · 49 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/3-540-53863-1_30openalex-snapshot
Hierarchies in coloured petri nets
inferredcites →https://doi.org/10.1007/978-3-642-84524-6_7openalex-snapshot
Hierarchies in Coloured Petri Nets
inferredcites →https://doi.org/10.1007/bf01088590openalex-snapshot
High-Level Timed Petri Nets as a kernel for executable specifications
inferredcites →https://doi.org/10.1016/0164-1212(94)90024-8openalex-snapshot
Validating timing requirements for time basic net specifications
inferredcites →https://doi.org/10.1109/32.67597openalex-snapshot
A unified high-level Petri net formalism for time-critical systems
inferredcites →https://doi.org/10.1109/32.75415openalex-snapshot
Modeling and verification of time dependent systems using time Petri nets
inferredcites →https://doi.org/10.1109/tse.1986.6312936openalex-snapshot
The transformation schema: An extension of the data flow diagram to represent control and timing

What points at this work

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

inferred← citeshttps://doi.org/10.1007/3-540-45104-8_14openalex-snapshot
A Formal Definition of Structured Analysis with Programmable Graph Grammars
inferred← citeshttps://doi.org/10.1007/3-540-60271-2_135openalex-snapshot
A two-dimensional view of integrated formal and informal specification techniques
inferred← citeshttps://doi.org/10.1007/3-540-60406-5_7openalex-snapshot
Using a symbolic model checker for verify safety properties in SA/RT models
inferred← citeshttps://doi.org/10.1007/3-540-60973-3_105openalex-snapshot
An improved translation of SA/RT specification model to high-level timed Petri nets
inferred← citeshttps://doi.org/10.1007/978-1-4615-2275-1openalex-snapshot
The Knowledge Acquisition and Representation Language, KARL
inferred← citeshttps://doi.org/10.1007/978-3-540-30960-4_11openalex-snapshot
Towards Timed Automata and Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-51136-3_46openalex-snapshot
Measuring the Impact of Real-Time Design Techniques
inferred← citeshttps://doi.org/10.1007/bf01088585openalex-snapshot
IPTES: A concurrent engineering approach for real-time software development
inferred← citeshttps://doi.org/10.1007/bf01088587openalex-snapshot
Graphical animation as a form of prototyping real-time software systems
inferred← citeshttps://doi.org/10.1007/bf01088588openalex-snapshot
An executable subset of VDM-SL in an SA/RT framework
inferred← citeshttps://doi.org/10.1007/bf01088589openalex-snapshot
Distributed execution of specifications
inferred← citeshttps://doi.org/10.1007/bf01088590openalex-snapshot
High-Level Timed Petri Nets as a kernel for executable specifications
inferred← citeshttps://doi.org/10.1007/bf03259387openalex-snapshot
A Formal Semantics of Data Flow Diagrams
inferred← citeshttps://doi.org/10.1007/bfb0023444openalex-snapshot
Unifying models
inferred← citeshttps://doi.org/10.1016/0066-4138(94)90005-1openalex-snapshot
An environment for distributed prototyping of real time systems
inferred← citeshttps://doi.org/10.1016/0164-1212(94)90024-8openalex-snapshot
Validating timing requirements for time basic net specifications
inferred← citeshttps://doi.org/10.1016/0967-0661(95)00072-3openalex-snapshot
An environment for distributed prototyping of real-time systems
inferred← citeshttps://doi.org/10.1016/b978-0-08-042237-4.50020-2openalex-snapshot
A TARGET CODE MODEL FOR INCREMENTAL PROTOTYPING
inferred← citeshttps://doi.org/10.1016/s0164-1212(00)00125-4openalex-snapshot
An approach to modeling and evaluation of functional and timing specifications of real-time systems
inferred← citeshttps://doi.org/10.1016/s0967-0661(97)00225-6openalex-snapshot
Two methods for the engineering of manufacturing systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)40527-1openalex-snapshot
Advanced Software Engineering Techniques for Real-Time Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)45758-2openalex-snapshot
A target code model for incremental prototyping
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)45961-1openalex-snapshot
An Environment for Distributed Prototyping of Real Time Systems
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)46653-5openalex-snapshot
Associating Discrete Part Manufacturing Systems Semantics to SADT by Means of Petri Nets
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)49032-xopenalex-snapshot
Real-time Software Development: A Perspective
inferred← citeshttps://doi.org/10.1017/s0269888900007566openalex-snapshot
Formal specification languages in knowledge and software engineering
inferred← citeshttps://doi.org/10.1109/3477.718515openalex-snapshot
Experiences with colored predicate-transition nets for specifying and prototyping embedded systems
inferred← citeshttps://doi.org/10.1109/69.706055openalex-snapshot
The knowledge acquisition and representation language, KARL
inferred← citeshttps://doi.org/10.1109/87.654878openalex-snapshot
A technique for designing robotic control systems based on Petri nets
inferred← citeshttps://doi.org/10.1109/apsec.1997.640182openalex-snapshot
About the suitability of Petri nets for describing, validating and evaluating SA-RT specifications
inferred← citeshttps://doi.org/10.1109/asea.2008.34openalex-snapshot
Formal Representations of the Data Flow Diagram: A Survey
inferred← citeshttps://doi.org/10.1109/emwrts.1995.514311openalex-snapshot
Hybrid specification and formal distributed heterogeneous prototyping of distributed real-time systems
inferred← citeshttps://doi.org/10.1109/iceccs.1995.479302openalex-snapshot
Animation of heterogeneous prototypes of real-time systems
inferred← citeshttps://doi.org/10.1109/icsmc.1996.571219openalex-snapshot
A practical approach to formal design of real-time systems
inferred← citeshttps://doi.org/10.1109/pdse.1997.596824openalex-snapshot
A methodology for verification and analysis of parallel and distributed systems requirements specifications
inferred← citeshttps://doi.org/10.1145/226295.226314openalex-snapshot
Generation of multi-formalism state-space analysis tools
inferred← citeshttps://doi.org/10.1145/229000.226314openalex-snapshot
Generation of multi-formalism state-space analysis tools
inferred← citeshttps://doi.org/10.1145/268411.268429openalex-snapshot
Toward formalizing structured analysis
inferred← citeshttps://doi.org/10.1145/298151.298433openalex-snapshot
Formal semantics for SA style data flow diagram specification languages
inferred← citeshttps://doi.org/10.1145/505145.505146openalex-snapshot
A formal design notation for real-time systems
inferred← citeshttps://doi.org/10.14236/ewic/mi1996.6openalex-snapshot
A Tale of Two Case Studies: Using Integrated Methods to Support Rigorous Requirements Specification
inferred← citeshttps://doi.org/10.33915/etd.3154openalex-snapshot
Independent verification of specification models for large software systems at the early phases of development lifecycle
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.