ACM Transactions on Computer Systems (TOCS)
Petri nets: an introduction
Modeling the ADA task system by Petri nets
Computer Languages
Discrete Time Stochastic Petri Nets
IEEE Transactions on Software Engineering
Process-translatable Petri Nets for the rapid prototyping of process control systems
IEEE Transactions on Software Engineering
Temporal logic of programs
Safety Analysis Using Petri Nets
IEEE Transactions on Software Engineering
A Generalized Timed Petri Net Model for Performance Analysis
IEEE Transactions on Software Engineering
Detection of Ada Static Deadlocks Using Petri Net Invariants
IEEE Transactions on Software Engineering
A general way to put time in Petri nets
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Toward a discipline of real-time programming
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
IEEE Transactions on Software Engineering
Validation of Concurrent ADA Programs using Symbolic Execution
ESEC '89 Proceedings of the 2nd European Software Engineering Conference
Hierarchical Modeling of Software Systems with Timed Petri Nets
International Workshop on Timed Petri Nets
Performance Evaluation of Systems Using Nets
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Timed Petri nets and preliminary performance evaluation
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
Executing formal specifications: the ASTRAL to TRIO translation approach
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Analyzing refinements of state based specifications: the case of TB nets
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Targeting safety-related errors during software requirements analysis
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Analysis of real-time programs with simple time Petri nets
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
IEEE Transactions on Software Engineering
Timed protocol verification for Estelle-specified protocols
ACM SIGCOMM Computer Communication Review
RTsynchronizer: language support for real-time specifications in distributed systems
LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Constructing abstract models of concurrent real-time software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Timing Analysis of Ada Tasking Programs
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Computational reflection in software process modeling: the SLANG approach
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Software process modeling and execution within virtual environments
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling and analysis of a virtual reality system with time Petri nets
Proceedings of the 20th international conference on Software engineering
Model-based support for mutable parametric design optimization
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
On formalizing UML with high-level petri nets
Concurrent object-oriented programming and petri nets
Schedulability analysis of real time actor systems using coloured petri nets
Concurrent object-oriented programming and petri nets
Proving sequential function chart programs using timed automata
Theoretical Computer Science
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Automated Software Engineering
A High-Level Petri Nets-Based Approach to Verifying Task Structures
IEEE Transactions on Knowledge and Data Engineering
Compositional Semantics of a Real-Time Prototyping Language
IEEE Transactions on Software Engineering
Software Process Model Evolution in the SPADE Environment
IEEE Transactions on Software Engineering
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Modeling and Improving an Industrial Software Process
IEEE Transactions on Software Engineering
Model checking of systems with many identical timed processes
Theoretical Computer Science
Discrete Time Stochastic Petri Nets for the Modeling and Evaluation of Real-Time Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Environment for the Development and Specification of Real-Time Ada Programs
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Translating Time Petri Net Structures into Ada 95 Statements
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Proving Sequential Function Chart Programs Using Automata
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
Safety Verification of Software Using Structured Petri Nets
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
An Integrated Approach to Specification and Validation of Real-Time Systems
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Graph Transformation with Time: Causality and Logical Clocks
ICGT '02 Proceedings of the First International Conference on Graph Transformation
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Cooperative role-based administration
Proceedings of the eighth ACM symposium on Access control models and technologies
LEMMA: a language for easy medical models analysis
CBMS '97 Proceedings of the 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97)
Specification and Analysis of Timed and Functional TRMCS Behaviours
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
An Object-Oriented Real Time Systems Modeling and Verification Methodology
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
On Inspection and Verification of Software with Timing Requirements
IEEE Transactions on Software Engineering
A Petri-net-based approach to real-time program analysis
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Towards extensible graphical formalisms
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Merlot: a tool for analysis of real-time specifications
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Dealing with different time scales in formal specifications
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Authoring-in-the-large: software engineering techniques for hypertext application design
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Modeling and verification of a class of real-time systems by the use of high level petri nets
Journal of Systems and Software
Petri nets with clocks for the analytical validation of business process
Practicing software engineering in the 21st century
A Time Petri Net Approach for Finding Pre-Runtime Schedules in Embedded Hard Real-Time Systems
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Graph transformation with time
Fundamenta Informaticae - Special issue on the first international conference on graph transformation (ICGT 2002)
Role-based access control in ambient and remote space
Proceedings of the ninth ACM symposium on Access control models and technologies
Modular authorization and administration
ACM Transactions on Information and System Security (TISSEC)
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Control of Temporal Constraints Based on Dioid Algebra for Timed Event Graphs
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Towards modeling and evaluation of ETCS real-time communication and operation
Journal of Systems and Software - Special issue: Parallel and distributed real-time systems
Disassembly Scheduling with Parts Commonality Using Petri Nets with Timestamps
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Control Synthesis For Discrete Event Systems: A Semantic Framework Based On Open Petri Nets
Journal of Integrated Design & Process Science - Component-Based System Development
Synthesis of timing scenarios for embedded systems using modular Petri nets
CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Formalization of petri nets with clocks
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
Real-time scheduling of batch systems using Petri nets and linear logic
Journal of Systems and Software
Dynamically Evolvable Dependable Software: From Oxymoron to Reality
Concurrency, Graphs and Models
Using forward reachability analysis for verification of timed petri nets
Nordic Journal of Computing
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
TCPN-Based Tool for Timing Constraints Modelling and Validation
Proceedings of the 2005 conference on Software Engineering: Evolution and Emerging Technologies
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
A well-structured framework for analysing petri net extensions
Information and Computation
PCI'01 Proceedings of the 8th Panhellenic conference on Informatics
Specification and validation of the SACI-1 on-board computer using timed-CSP-Z and Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Representing process variation with a process family
ICSP'07 Proceedings of the 2007 international conference on Software process
Design and control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
Architectural abstractions for space and time awareness: the case of responsive environments
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
Unified hardware and software models for smart system design
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Smart system design using hybrid models
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Linear time analysis of properties of conflict-free and general Petri nets
Theoretical Computer Science
Integrating fault-tolerant techniques into the design of critical systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
Research: Specification, validation, and verification of time-critical systems
Computer Communications
Petri nets state space analysis in the cloud
Proceedings of the 34th International Conference on Software Engineering
Graph Transformation with Time
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
Disassembly Scheduling with Parts Commonality Using Petri Nets with Timestamps
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
The right timing: reflections on the modeling and analysis of time
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
| Hi-index | 0.01 |
The authors introduce a high-level Petri net formalism-environment/relationship (ER) nets-which can be used to specify control, function, and timing issues. In particular, they discuss how time can be modeled via ER nets by providing a suitable axiomatization. They use ER nets to define a time notation that is shown to generalize most time Petri-net-based formalisms which appeared in the literature. They discuss how ER nets can be used in a specification support environment for a time-critical system and, in particular, the kind of analysis supported.