Citation Impact
Citing Papers
Model-checking large structured Markov chains
2003
A multi-stakeholder perspective on sustainable healthcare: From 2030 onwards
2020 Standout
Planar Waveguides as High-Performance Sensing Platforms for Fluorescence-Based Multiplexed Oligonucleotide Hybridization Assays
1999
Characterising the Digital Twin: A systematic literature review
2020 Standout
Industry 4.0: state of the art and future trends
2018 Standout
Comparison of the ARMA, ARIMA, and the autoregressive artificial neural network models in forecasting the monthly inflow of Dez dam reservoir
2012 Standout
THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT
1998 Standout
Petri nets: Properties, analysis and applications
1989 Standout
Trajectories of the Earth System in the Anthropocene
2018 Standout
A comprehensive review of big data analytics throughout product lifecycle to support sustainable smart manufacturing: A framework, challenges and future research directions
2018 Standout
Integrated semiconductor vertical-cavity surface-emitting lasers and PIN photodetectors for biomedical fluorescence sensing
2004 StandoutNobel
The Systems View of Life
2014
A survey of variants and extensions of the resource-constrained project scheduling problem
2009 Standout
Mining configurable enterprise information systems
2005
Connecting Competences and Pedagogical Approaches for Sustainable Development in Higher Education: A Literature Review and Framework Proposal
2017 Standout
Internet of Things in Industries: A Survey
2014 Standout
Advanced control in factory automation: a survey
2016
Hazard Analysis Techniques for System Safety
2005 Standout
Complexity results for 1-safe nets
1995
An Emerging Industrial Business Model considering Sustainability Evaluation and using Cyber Physical System Technology and Modelling Techniques
2016
Production scheduling with alternative process plans
2011
A Method Based on Petri Nets and a Matrix Model to Implement Reconfigurable Logic Controllers
2010
Application of neural approaches to one-step daily flow forecasting in Portuguese watersheds
2006
Comparison of Embedded System Design for Industrial Applications
2011 Standout
Machine Recognition of Human Activities: A Survey
2008 Standout
Social-ecological systems as complex adaptive systems: organizing principles for advancing research methods and approaches
2018 Standout
Using Propositional Logic for Requirements Verification of Service Workflow
2012
Compositional performance modelling with the TIPPtool
2000
A Review of ERP Research: A Future Agenda for Accounting Information Systems
2011 Standout
Model-checking algorithms for continuous-time markov chains
2003 Standout
SWSpec: The Requirements Specification Language in Service Workflow Environments
2012
The internet of things: a survey
2014 Standout
Workflow mining: discovering process models from event logs
2004 Standout
Transition Design: A Proposal for a New Area of Design Practice, Study, and Research
2015 Standout
Works of Manuel Silva being referenced
Half a century after Carl Adam Petri’s Ph.D. thesis: A perspective on the field
2013
Approximate throughput computation of stochastic marked graphs
1994
On Fluidification of Petri Nets: From Discrete to Hybrid and Continuous Models
2003
An Automated Framework for Formal Verification of Timed Continuous Petri Nets
2010
Recent advances in kinetometrics
1996
Programmable Logic Controllers and Petri Nets: A Comparative Study
1982
On fluidification of Petri Nets: from discrete to hybrid and continuous models
2004
A polynomial-time algorithm to decide liveness of bounded free choice nets
1992
Critical ReviewApproaching the use of oscillating reactions for analytical monitoring
1998
Application and Theory of Petri Nets 1998
1998
Structured solution of asynchronously communicating stochastic modules
1999
Control of Discrete-Event Systems : Automata and Petri Net Perspectives
2013
Computational Neural Networks in Conjunction with Principal Component Analysis for Resolving Highly Nonlinear Kinetics
1997